rigorousness

not defined yet