added GK lowerbound