Renamed parameter to K