rigorousnesses