Asteroid
А нет? Ну серьёзно, как можно "доказать", что может использоваться тот или иной набор методов логического перехода?