Men i alla fall hade benåtnjutit