congruence? working, see test.scm