For TLA it's even worse. Increasing node counts makes the spec immediately more "correct", at least it feels like that xdd.