Det hade dock varit att föredraga,