The MiniMax source.