"universal proposition"@en-us . .