Correctness and detail