. . . "admit truth of proposition"@en . . . "allow-03" . . "admit truth of proposition"@en . "allow.03" . . .