A b is not statement