Derivation and double shuffle relations for multiple zeta values | Synapse