Saken är , efter allt antagande,