The Rafael Devers trade might've been the right move at the time.