Notes on Scheme's Equality Procedures, modified from Holly Yanko's recitation notes.