Title: Unification, Duplication and Negation