3 ms·

I know you were quoting the OP, I was just adding to your post that professors don't get the summer off based on my personal experience.