Knot Floer homology and the four-ball genus | Synapse