Our goal is one whose application's nice
For smooth four-manifold topology:
To tell if certain knots and links are slice
With bordered Heegaard Floer homology.
We seek concordance data that detect
Some links obtained by Whitehead doublings,
As well as knots we get when we infect
Along two of the three Borromean rings.
Some lengthy work with bordered Floer then proves
How τ for satellites like these is found.
We see, by this result and cov'ring moves,
That smooth slice disks our links can never bound.
The theorem's proved, the dissertation's done,
But all the work ahead has just begun.