What Does Formally Introduced Mean