Review doctests and laws