© Paul Koop – the-last-freedom.org/Projekt_Pompeji
Version 4 vereint den Nachweis der Nicht-Ableitbarkeit in reinem S5 mit dem Beweis im erweiterten System S5+SP.