Piety/samples: start over in ed.py