Q.E.D. iff