"soundness" - key terms from Wikipedia