SetValB + simplifications