Man formulerar detta statsstreck sålunda,