The implied subject of tajtamiʿu refers to ʿalamiyya.Definiteness and Proper-Name Status in Diptote Rules