Can NonLeaderData(None) happen? If not, why?