Rules added as per #22.
Reformatting.