Validity of Satz-Mogel-Yudin-type short forms.