Yeah, that was great. Here are John's other appearances on other podcasts: https://jkstream.com/#/personality-john-carmack-Q92605