I logik kan detsynas