Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.
This sort of mind bender is the only downside to working with SAT. Hopefully it will be an easier adjustment for you, since the worst is abstracted away by a library. Here though is a bit of the fundamentals.