Optimal injectivity conjecture. Any optimal and injective on generators homomorphism in Ast\mathscr{Ast}Ast is injective.
