Dlaczego rozważania o "aspekcie formalnym kontratypu obrony koniecznej" są bezprzedmiotowe (na marginesie artykułu Kamila Siwka)