Assignment 1 - Paul Dapolito

It is interesting to note that there are some built in rules (that all rules break down to eventually) but most of it is user defined.