Removed correctness check (!).