Wrote the rest of the DifferenceAtom functions