compeleteness and soundness