need `ord` invariant in SC property