How does the paper from [0] show that Aaronson doesn't understand Grover's algorithm? What level of "understanding" are you looking for here?