User: logical_proof