replCorrect proved, no cheats