k-reduced