implicit KGn