“…if K X intersects every curve on X positively, then it is expected that X is a Fano variety. This was confirmed in dimension 3 in [63,73] and in many cases in dimension 4 in [62]. When X is a smooth, projective, rationally connected fourfold with K X strictly nef, then Ä.X; K X / 0 by [62].…”