"mathematical statement"@en-us . .