Åtminstone torde det vara visst,