preconjecturing

not defined yet