By Dr Craig Wright, as edited and published by his editors on craigwright.net.
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:
[Image: description to follow]
First published on craigwright.net on 6 October 2018. This copy was recovered from the Internet Archive snapshot of 8 December 2023. Republished on BSVSearch with Dr Wright's permission - about this archive.