"ratiocination"@en-us . .