såsom vi förut visat , numera med logiskföljdriktighet