Saken är , som vi redan framhållit,