A consequence that becomes valid upon articulating its implicit logical structure satisfies (ST) at ...