Change Gamma, result(m) and x to `x.  Test all the functions in TTT and they all work
handle atom in valUnion