Redundant protocol declaration.