Try capturing the formal rules of an implicit game