ID: puns about communism aren’t funny unless everyone gets them