x<x'...