Updated Alloy Models