In this situation, Bob takes out a lease contract with Eve for a fixed term of three years. The terms of the contract will specify a number of payments (which are detailed within later posts) and are not covered here.
However, the contract has a fixed term with no break clauses.
This has a simple state machine model as shown in the diagram below:
