User blog comment:Bubby3/Walkthrough of BMS./@comment-35470197-20190216042718

> You obviosly know that, from pair sequence system, that

But trio sequences are not pair seqquences. There is no justification given by you that adding a pair to a trio sequence actually exfects in the same way as pair sequence. If you gave any proof for pair sequences which is obviously applicable to trio seuqences, such an abbreviation would work.