Alloy dummy app used to illustrate a question concerning data binding