Häraf skulle då följa ,att