Use the model's language rather than classical B