Email Record: Alloy modeling & design :