preconjectured

not defined yet