 Definition: For any formula \(\phi\), the formula \(\phi\)st is obtained by replacing each quantifier over the universe with a quantifier over all standard objects (and each quantifier bounded in a set with a quantifier restricted to the standard elements of that set).