soll vs ist nonzero