with-transform implemented sufficiently