User blog comment:Luckyluxius/KeyArrow Notation extension/@comment-44079442-20191204043418/@comment-39448260-20191204174142

The assumption of a|b|c|d|a = a|b-1|c|d|(a|b-1|c|d|e) is correct if b ≥ 2.