Scott Garrabrant comments on Voting Theory Introduction