b != 0