injectivity test: 1
