0 soundness | Definition of soundness