Just som dessa förklarade,