Man bör alltså kunna antaga,