In fact, Backus would not have disagreed with the 'restrictive' accusation: he argued that it was precisely due to such restrictions that a well-formed mathematical space could arise, in a manner analogous to the way structured programming limits programming to a restricted version of all the control-flow possibilities available in plain, unrestricted unstructured programs.
У ствари, Бакус је не би слагао са „рестриктивном“ оптужбом: он је тврдио да управо због таквих ограничења која су добро формирана математички простор може настати, на начин аналоган начину структурираног програмирања граница на одређену верзију свих могућности за контролу токова доступних у равници, неограничење неструктурираних програма.