The language of leadings