Formal Models Of Collective Action