Text this: Formal knot theory /