a user could duplicate an object when transitioning to TX from IDLE
a bug found during theorem prooving
Merge branch 'master' of github.com:tomlarkworthy/firesafe