A fact thus set down in substantial history cannot easily be gainsaid.