Alloy Equations