"conjecture"@en-us . .