-- Test Start at Thu Sep 23 10:35:13 PDT 2004
succ Red -> Green
succ Green -> Blue
pred Green -> Red
pred Blue -> Green
Red == pred Green -> True
Red == Blue -> False
succ Green == Blue -> True
eqColor Red (pred Green) -> True
eqColor Red Blue -> False
eqColor (succ Green) Blue -> True
-- Test End at Thu Sep 23 10:35:19 PDT 2004