BTC Lisp as an alternative to Script

Is here any typo? Is this operator requiring these atoms being a lexicographically sorted list, or requiring *B is the biggest?