As far as Crowd is concerned, the terms 'principals' and 'users' are equivalent — they mean the same thing. Earlier versions of Crowd used the term 'principals'. From Crowd 1.3 onwards, we call them 'users'.