conjectured

not defined yet