Invariant Aware Programming: A Path to Safer Code

[@danidickstein1871]

Please truncate the start of this clip. The low volume at the start will lead people to turn the volume all the way up, and then they get an unpleasant surprise when the volume jumps.