Project based on ToDo List - Alloy