Wow. Who knew that Tom Nichols and Bender were one and the same?