Home/Crosswords/WSJ/Songwriter/satirist Tom who taught math at MIT