least fixpoint games