Formulas for Correctness
Ensure your notebook is always in a correct state, by double-checking your calculations programmatically.
Check a condition - assert()
Creates an error in the notebook if the condition is not true
Syntax: assert( Condition )