BUT WHAT IS rotovap, REALLY?