Men det var en principfråga,