"corollary"@en-us . .