Thoughts on how to encode Life in CNF-SAT.