Och vore det så,