b'Frank Stephan speaking at the BIRS workshop 23w5039: Recursion Theory and its Applications (Oct 15 - Oct 20). Recorded by the Banff International Research Station for Mathematical Innovation and Discovery.'