, Återgång4 är ett med logiskföljdriktighet