-- vim: sw=2: ts=2: expandtab:
module Prop where

p0 x = x == x

p1 x y z = x + (y + z) == (x + y) + z

p2 x y = x + y == y + x

p3 x = x == negate (negate x)

p4 p = (fst p, snd p) == p