Basics.v: comment out hand grenade
Induction.v: grinding thru it :)