This line is not necessary (covered by previous rule)