efficiente. Item, doctrina propositionum.