Honor [20.9.6.2] that the BaseCharacteristic is true_type or false_type