Some progress on replCorrect