Edited the text to replace existing Alloy scenarios with a more concrete example.