Makes solutions for exercises undefined.
Allows laws to be undefined.