2 CORRECTNESS AND RELIABILITY.

29.2 Correctness and reliability.