单调CPO和28原则，时间都会证明。