Social commitments
Agent communication
Verification
Reduction