Partindo para completeness e soundness