 Similarly, “\(\unary{h}\bcomma\unary{b}=0\)” means no horse is black. Hence, “\(\unary{h}\bcomma \unary{b} \not = 0\)” says some horse is black. Therefore, “\(0^{\unary{h}\bcomma\unary{b}} = 0\)” (being the exponent being not-zero) means that some horse is black.