This reverts commit 327acdbd. I thought we could get something with a contractive "un-injection" funtion, but that turns out to be impossible.
