Logische terugtrekking.