(assert (colour green))
(assert (colour red))