a 0 == 0 b