DifferenceAtom::DifferenceAtom(istream&,istream&) written