add Q.infinity(Add(args)) <==> any(map(Q.infinity, args))