for a being set holds Total a in Toler a by Def15;