Topics Related to Alloy, Examples and Groups: