I really like using asserts for setting up axioms, if one of them fails that either means I made a wrong assumption or more likely I found a critical bug. If these fail the program will not do anything useful going forward maybe even something really bad so a crash is exactly
