hairyfigment comments on Why AGI is extremely likely to come before FAI