Replaces usage of Bijection with Injection