On: Unification and memory usage

May 2011