Title: The theory of implementation when the planner is a player