#include <iostream>
#include <vector>
#include <algorithm>
#include <cassert>
#include <string>
using namespace std;

struct QuickFind {
    vector<int> i2g;
    vector< vector<int> > g2i;
    vector<long long int> weight;
    int N;

    QuickFind(int N_) {
        N = N_;
        i2g.resize(N); g2i.resize(N);
        weight.resize(N);

        for(int i=0; i<N; i++) {
            i2g[i] = i;
            g2i[i] = vector<int>{i};
        }
    }

    bool same(int u, int v) {
        return i2g[u] == i2g[v];
    }

    long long int query(int u, int v) {
        assert(same(u, v));
        return weight[v] - weight[u];
    }

    void merge(int u, int v, int w) {
        if(same(u, v)) return;
        int ru = i2g[u], rv = i2g[v];

        if(g2i[rv].size() > g2i[ru].size()) {
            swap(ru, rv); swap(u, v);
            w = -w;
        }

        long long int prev = weight[v];
        weight[v] = weight[u] + w;

        for(auto e : g2i[rv]) {
            i2g[e] = ru;
            g2i[ru].push_back(e);
            if(e == v) continue;
            int diff = weight[e] - prev;
            weight[e] = weight[v] + diff;
        }

        g2i[rv].clear();
    }
};

int main() {
    int N, Q; cin >> N >> Q;
    QuickFind qf(N);
    for(int i=0; i<Q; i++) {
        int query; cin >> query;
        if(query == 0) {
            int u, v, w; cin >> u >> v >> w;
            qf.merge(u, v, w);
        }
        else {
            int u, v; cin >> u >> v;
            if(qf.same(u, v)) cout << qf.query(u, v) << endl;
            else cout << "?" << endl;
        }
    }
    return 0;
}
