1. Correctness