listProofSchemas