Rob Lucas comments on Overview of strong human intelligence amplification methods