This chapter is concerned with dynamic typing in a statically typed language.   It is commonly thought that there is an "opposition" between statically-typed languages (such as Standard ML) and dynamically-typed languages (such as Scheme).  In fact, dynamically typed languages are a special case of statically-typed languages!  We will demonstrate this by exhibiting a faithful representation of Scheme inside of ML.