The absence of tanwīn on al-rajuli proves that it is a diptote.Definiteness and Proper-Name Status in Diptote Rules