Holds of a deductive system $\text{L}$ if $\text{L}$ is not characterized by any finite logical matrix although every proper extension of $\text{L}$ has a finite characteristic matrix. Named for logician Schiller Joe Scroggs (1929–1993), who proved that the property holds of every quasi-normal extension of the modal logic $\text{S}5$.