Pretty, Unification, Term. Updated Meta.