The biconditional conflates provability within a descriptive complexity framework with the truth of ...