slight semantic changes to Minimax