More docs for injection and bijection..