TeXにバグがないと誰が証明したの? バグではなく不適切なプログラムです
とか、そういう日本人的言い訳か?