*Note: this does not imply that the Game Theory aspect of Bitcoin is simple. Complex dynamics could develop from very simple rules (e.g.: think of Go/Chess).
(a) mathematically defined - miners get paid for finding a hash that is <= current difficulty target
(b) computationally verifiable - miners’ work is verifiable by *anyone*, cheaply