“…Since Z is of finite length, Z ~ will be free over Z, and we chose a basis. Next, the descent data Zi~X ~ is given canonically by our choice of Z ~ It will lift to some affines U i over X ~ [12,II,6.4]. These choices determine a lifting of ( to one of the above schemes V. Now given any infinitesimal extension Z cZ~, the etale affine Y over Z x rX ~ extends canonically to u over Z 1 XF X~ [12,III,3.4], and so on.…”