// Instance
game-specific Instance
// Solution
game-specific Solution
domain
// Claim
claim game-specific intensional definition protocol START