Definition:Conjecture