for V being SetValuation holds SetVal (V,VERUM) = 1 by Def2;