De utgingo från den satsen ,att