2 ms·

Professors are paid (though sometimes only ~50%) during their sabbaticals. Otherwise you're exactly right.