Let $D$ be a divisor on a (complex) K3 surface. Suppose $D^2\geq0$. In general, $D$ is *nef* if $D\cdot C\geq0$ for all irreducible curves on the surface. Is it sufficient in our case to check this for smooth rational curves (i.e. the (-2) curves) ?