Om man förut antagit,