BTW. Who is Pat Paulsen?