add more notation, describe more about gk