As an alternative, they use a how to win system, and therefore symbols don't need to end up in strict models

Related Posts