reading this comment made me very happy. Best of luck to you in your future endeavors, professor!