❌ Symbol 'injective' not found.