This is to introduce Andrew Obus's recent work. He proved A_4 is
a local Oort group, i.e. a group with the local lifting property, using a
deformation method.