David Mathers comments on Help me to understand AI alignment!