det borde vara så,