TODO:
- check that the behaviour of these preconditions are desirable
- check that the documentation is adequate
- write unit tests to enforce the behaviour of the preconditions
- use CI to run unit tests and push build results to myget