BUT WHAT IS rotary evaporator, REALLY?