Criteria for soundness