done with tok