Started on p-adics + computing lifts