Our goal is one whose application's nice
We seek concordance data that detect
For smooth four-manifold topology:
To tell if certain knots and links are slice
With bordered Heegaard Floer homology.
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.