Along the way, Cummings developed the eccentric “smart thinking” philosophy which the play relates with admirable sympathy. His problem with politics is less ideological than operational. Society is clogged with flabby, over-promoted mediocrities. Whitehall in particular is full of 20^th-century thinking, subsisting within 18^th-century architecture. The state should instead promote disruptors, working with the shark-like efficiency of a Noughties tech “start-up” (a phrase Cummings is fond of and used to describe the entire Vote Leave campaign). There is a Hayekian foundation to this, and some of the anti-declinism of Thatcher, but Cummings is his own, achingly contemporary man. He is obsessed with data, IQ, evolutionary biology, and what we have no choice but to call “business management”. His heroes are logician Kurt Gödel, Intel CEO Andy Grove, Bismarck and, inevitably, Steve Jobs.

But, finally finding himself in Downing Street in 2019 with the power to apply this vision, Cummings is overwhelmed by crisis management — and, as portrayed by DOM, frustrated by an unserious prime minister. From here, the play dissolves into a series of cheap set-pieces, with all the dramatic force of an animated Private Eye cartoon: Boris buying gold wallpaper and adopting Dilyn, with Carrie wailing down the phone. Cummings is left to fulminate and then resign, and the play’s final canter through Partygate, Truss and the brief Boris comeback moment is mercifully short.

Much of what makes Cummings fascinating is on display here, though to me the portrait overstates his brutality and undersells his sheer weirdness (what other lowly spin doctor has ever self-published 133,000 words on his ideal of “an Odyssean education”?). And it swerves his expedient contrarianism. Cummings’s Covid-hawkery, for example, seems as much a roundabout way of smashing “the trolley” as an expression of pure principle.

But, beyond its broad satire, the tragedy of this play is that it exists at all. Exiled from power, Cummings seems adrift, firing furious, erudite missives into the cybersphere. Rather than applying his self-evident powers of intellect and invention to government, like his predecessors Cummings has been condemned to the impotency of a stock political joke.