Ok, it can remain, but I still have this nagging feeling that expressing non-input/output conditions in TransferStates might bite back later.