완전한 게임 논리와 방해

게임 논리에 단일 추가 원시 연산자를 도입하여 게임 중 규칙을 동적으로 변경할 수 있게 함으로써 모달 μ-계산법과 정확히 동등한 표현력을 가지게 된다.