I don’t know. When I first heard about the horizon scandal I understood what had happened immediately and have since been of the opinion that making financial software that isn’t Byzantine fault tolerant should be a criminal offence.