Added a section detailing DFM's semantics and its shortcomings. Reintroduced sort example, albeit briefly.