  We define family versions of the invariant of 4-manifolds with contact
boundary due to Kronheimer and Mrowka and using these to detect exotic
diffeomorphisms of 4-manifolds with boundary. Further we develop some
techniques that have been used to show the existence of exotic codimension-2
submanifolds and exotic codimension-1 submanifolds in 4-manifolds.
