Utgäende frän satsen ,att