Code beautification
Printing out when a rule needs to be entered
Merge branch 'conclusionMod' into paul
Merge branch 'paul' into conclusionMod