Adjusted lessons learned to use the new correctness check too.