Title: Correctness, Completeness, and Consistency