Men det hjälpte inte mot formalisterna,