Stratification mod n

Recently Zuhair Abdul Ghafoor Al-Johar [12] has directed our attention to a syntactic constraint that is—on the face of it—tighter than NF’s device of stratification; in this little essay I consider a weakening, namely the generalisation of stratification to stratification mod n. So far the coterie of NFistes has considered neither the possibility that the class of unstratified formulæ in the language of set theory might admit any structure or gradation, nor the possibility that failure-of-stratification (which perhaps we can call dysstratification) might come in degrees, nor the possibility that recognition of such degrees might allow one to gain understanding and prove useful facts. So stratification-mod-n opens a new vein, but not one i’ve been able to get anything really substantial out of. Not so far, anyway . . . mostly just simple-minded generalisations of the standard stratified case—not that those are without merit, since