Yes, there is more to it. "Soundness" is a specific term in computer science regarding a program being unable to end up in a invalid state. Usually used in type systems to describe a type system that makes your program unable to be "wrong".

The idea of "soundness" is based on this seminal paper: https://courses.engr.illinois.edu/cs421/sp2013/project/milne...