Property ExistsLeader changed according to the updated specification