And they say AOC is the dumb one.