conjecturable

not defined yet