ok um what were the contradictions um - provability is equivalent to truth - all proofs can be evaluated not seeing the contradiction anymore, might need to learn more or something