In this task, you will be presented with a question and you have to answer the question based on your knowledge. Your answers should be as short as possible.
Example: Who were the builders of the mosque in Herat with fire temples ?
Example solution: Ghurids
Example explanation: This is a good example. Ghurids were the builders of the mosque in Herat with fire temples.

Problem: Which ACL2 contributor is not on the University of Texas at Austin faculty ?
Solution: Matt Kaufmann