Simpler definition for proxgame