‘Shut up and contemplate!’: Lucien Hardy׳s reasonable axioms for quantum theory