Work on soundness and completeness.