Alloy Oliver Suggests an Be in exchange Presence be useful