The mathematics and biochemistry of knotted proteins.