Implicating four_arms -> multiple_arms.

Reason: Having four arms qualifies one for having multiple arms. Fairly self explanatory.