Some dramatic simplification caused by breaking off Cond.hs