Switching to a simpler equivalence of ornaments.