Questions about using Alloy. If you got a stuck model, try to minimize it to the essence and post your question here.