#redirect injective function