nonconjecturable

not defined yet