Added injectivity properties.