Type Soundness is a property of a type checking system that guarantees that its static type predictions are accurate at run time.