now truth values are unambiguous

value.y[2].uc==0 means #false