Don't try to prove True