Denna logiska sats kan i ännn högremån