abelta-propositions