We continue toward a proof of the main theorem by characterizing, for a fixed linear order A, the collection of linear orders X such that AX is isomorphic to X, finishing the argument we started with the last time.