faul_sname comments on Holden Karnofsky’s Singularity Institute Objection 1