preparation for Gödel's disjuntion property