Abstract: I will describe a sequence of closely-related but increasingly-sophisticated proofs of the non-triviality of the trefoil knot. In the end we conclude the mapping-class group of a 4-manifold is non-trivial.