Definition of CONJECTURE