I’m only surprised that it doesn’t specify that super has to be in all caps.