He’s Super Grover. That’s Grover with a G, in case you were confused.