Who in the kabupaten has managed to figure out this foundational knot theory application