The definition for dynamically typed