unconjectural

not defined yet