added chained monoid ordering examples