This class was all about getting interactive practice with Alloy so take a look at the alloy file. If you have questions feel free to come to TA hours.