Our President is a nerd.