it is to be much greatly, deeply, keenly, etc. regretted that...