Polymorphism of melanic ladybirds maintained by frequency-dependent sexual selection