alloy abstraction

by Craig Gephart