Det förhåller sig dermed så: