2 k 2 { : proc.