When Correctness Is the Product