Juergen Schmidhuber discusses the non- plus theorem with Lexman.