Men det kan dock betviflas,