And closed where he learned that, in the exercise it invokes does not draw from the super- to the proposition.