semirigorousness
not defined yet