conjectural

not defined yet