drop the injection requirement for gl₁