Notation close to complete, next step, work on unification next.