The 4 majors of the WWE are still Summer Slam, King of the Ring, Royal Rumble, and Wrestlemania, right? I'm asking out of general curiosity.