consistency VS. completeness