added cxt-ordered to some existing theorems