Games & Formal Systems