Zatiaľ sa mi nikde nepodarilo zohnať tú redukciu. Ani cez tvtool mi to nejde. Tam už sa to dá i odfajknúť, ale bohužiaľ to nefunguje. V konfigurácii mi detekuje dual zobrazenie: ok