I sjelfva verket förhåller det sig så,