What functions should a language have in order to be considered a dynamically typed language
Values ββare types, but variables are not.