More Alloy specific operations now encapsulated.