rigorously

not defined yet