refer to Taylor's book, clarify injectivity of i_Ord