A verification step that checks whether a formal theorem actually expresses the intended scientific claim, not just logical validity.