Søren Elverlin comments on Counterarguments to the basic AI x-risk case