Eliezer Yudkowsky comments on How theism works