The redundant nature of locomotor optimization laws | Synapse