This is Example 6.47 in Saveliev's book *Invariants for homology $3$-spheres*:

Let us consider a two-component link $\mathcal L = L_1 \cup L_2$ in $S^3$ such that $\mathrm{lk}(L_1,L_2) = \pm 1$ and the component $L_1$ is an unknot. Let $\Sigma_p (\mathcal L)$ be the integral homology sphere obtained by surgery on the link $\mathcal L$ with $L_1$ framed by $0$ and $L_2$ framed by $p$. The manifolds $\Sigma_p (\mathcal L)$ are referred as

Mazur homology spheresbecause they generalize the original Mazur's example of a homology sphere bounding a smooth acyclic $4$-manifold.

- How we generalize Mazur's construction? Originally, we attach a $2$-handle $B^2 \times B^2$ to $S^1 \times B^3$ along a knot on the boundary $\partial S^1 \times B^3 = S^1 \times S^2$.
- Do we attach two $2$-handles to obtain an acyclic $4$-manifold?