Т. Я найду баг в любой строке кода. Ну вот, к примеру, если не ошибаюсь, в этой строке баг.
Р. Разумеется, здесь баг, если ты не ошибаешься.
Т. Значит, мое предположение верно?
Р. Конечно, верно: если ты не ошибаешься, в этой строке баг.
Т. Итак, раз мое предположение верно, то я не ошибаюсь. А если я не ошибаюсь, то баг здесь есть!