Combinatorial theory of the free product with amalgamation and operator-valued free probability theory | Synapse