Let formula _ 58 be a class ( called a `` recursive game '' and thought of as a property ) of simple sets .
Let formula _ 58 be a class ( called a `` simple game '' and thought of as a property ) of recursive sets .