altered ordering definitions to match Rosser (need to do this so we match conditions in Specker)
altered ordering definitions to match Rosser (need to do this so we match conditions in Specker)

sctfn/metamath-nf