By Dr Craig Wright, as edited and published by his editors on craigwright.net.
In this situation, Bob enters into a contract with a pool of builders to deliver a new property, and specifies a number of conditions within the contract that require independent sign-off (the first being the approval of the plans from the local planning authority).
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 21 February 2024. Republished on BSVSearch with Dr Wright's permission - about this archive.