In this situation, Bob decides to lease a laptop from Eve on a rolling annual basis, where he needs to provide two months’ notice to cancel the lease at the renewal date otherwise it will automatically roll-on.
This has a simple state machine model as shown in the diagram below:
