alanf comments on David Deutsch on Universal Explainers and AI