Definition:Implicit Constant