Reliability and correctness