progress on #137

proof gen mechanics