injective with 2 variables