Code accompanying a presentation on Alloy features