Strong liftability conjecture. The scheme YYY is a smooth projective scheme which is strongly liftable over W2(k)W_2(k)W2(k).