formal deformation