Added the zeroth and fourth laws

See rules.coffee