The tag implication #52086 tail_insertion -> penetration has been approved.
Reason: penetration is insertion, so tail insertion is penetration.
Topic: Tag implication: tail_insertion -> penetration
Posted under Tag Alias and Implication Suggestions
Already part of my BUR in topic #40607.