Nope, it's all constraint satisfaction based. Another person actually correctly inferred most of the details above: https://news.ycombinator.com/reply?id=36532254&goto=item%3Fi....