Before revision:  We outline an abstract design for a social contracts programming language , whose rules specify social contract transitions, and show, via programming examples, that key application areas, including social groups;
After revision:  We outline an abstract design for a social contracts programming language and show, via programming examples, that key application areas, including social groups;