Got SAT theorem to work for simple squares.