conjecture

not defined yet