April 27: Peter Lenkov editing the 6.25.{c}