Global_hyperbolicity loading ...