simplifying rewrite of KGn