Game Controllers in Paxos | NisiHub