Logisk tilbaketrekning.