Diffeomorphisms of 4-manifolds with boundary and exotic embeddings | Synapse