Definition:Implied Constant