add an alternative equation for GK, and fix a symbol
add an inequality for the multivariate gk