Correctness and Completeness: Correctness, Completeness and Independence Results