But by the definition above, doesn't every language qualify as statically/strongly typed? Couldn't we have used tcl, or fortran or basic in the example above and come to the exact same conclusion? Doesn't the term "statically/strongly typed" loose its meaning if *every* language meets the criteria? Can you give us an example of a language that's not statically/strongly typed?