Operations on Like and Unlike terms