"Correctness of David Dees"