List comprehension update
Start post on 2-SAT