Re: [cbc] Second Event-B Homework