Before starting this set, you should read the proof is in the pudding and an introduction to verifications