Free product with amalgamation