nonconjecturably

not defined yet