Det är otvifvelaktigt det senare förslaget,