add function isLeaderof