misconjecturing
not defined yet