Title: Expressions of Definitions Redefined