to hasten