Alloy: a skeleton