add debugging for Peter Gromov