Testing social integrations within Alloy.