This lecture begins by defining folding motion by a series of folded state, linkages, graphs, and configuration space. A proof of Kempe's Universality Theorem is presented along with Kempe's gadgets, and also the Weierstrass Approximation Theorem.