William W. Cohen with Ni Lao (Google), Ramnath Balasubramanyan, Dana Moshovitz-Attias School of Computer Science, Carnegie Mellon University, Reasoning.