Yes, I have a quick comment.
The grey seals that are being harvested are juvenile seals; they're only six to eight weeks old. How many of those will you have to harvest and how long will it take before there is any effect on the herd, before it would come down in size?