A b is true if