P <- 0 if ((k>0) & (k