Working on SAT.lhs.