Email Record: Gödel's disjunction :