Reasoning About Truth in First