A push in the right direction.
Tokens are a resource. We should use as few as possible (Tokengolfing?).