Understanding Alloy functionality