Alla dessa satser följa med logiskföljdriktighet