David_Kristoffersson comments on MIRI’s technical research agenda