proof is about truth