(/=) some final ordering