Phone interview with CEO. Several questions about how to represent knowledge in FOL. I found this really unnatural and difficult to do over the phone; Lenat also talked over me a few times, which made it more difficult to explain my solutions. The experience would have been better with a whiteboard-type tool to avoid the awkwardness of using phrases like "for all x Bx" over and over, and trying to explain where parentheses are, etc. Was told I'd hear back but never did, even after a followup.