Post date: Oct 27, 2015 11:15:9 PM
Formalize the rules in this handout (which is protected using the Class Dropbox password).