2 k 1 } proc.