nonconjectural

not defined yet