Deraf borde följa ,att