Antag att — —»