CRT correctness