#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define file(name) if (fopen(name".inp", "r")) {freopen(name".inp", "r", stdin); freopen(name".out", "w", stdout);}
#define TIME 1.0 * clock() / CLOCKS_PER_SEC
template <typename T1, typename T2> bool mini(T1 &a, T2 b) {if (a > b) a = b; else return 0; return 1;}
template <typename T1, typename T2> bool maxi(T1 &a, T2 b) {if (a < b) a = b; else return 0; return 1;}
const int inf = 2e9 + 7;
const int mod = 1e9 + 7;
const int N = 4e5 + 5;
 
int n, m, k, a[N], minn[N];
 
signed main() {
    ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
    file("");
 
    // Cải tiến dp bằng nhận xét
    // Nhận xét: min chỉ có thể thay đổi khi mà xuất hiện thêm cây hỏng khác
    // Theo trực quan, ta cũng nên bắt đầu bao từ cái cây hỏng để maximise được cái lượng cây hỏng quét qua (minimise được cái lượng cây không hỏng được bao)
    // Chứng minh:
    // 1) Khi bao quanh x cái cây hỏng mà chuyển qua 1 ô kề bên thì thành x => vẫn chỉ bao quanh k - x cây không hỏng
 
    // 2) Khi bao quanh x cái cây hỏng mà chuyển qua 1 ô kề bên thì thành x + 1 cây hỏng (+1 cây hỏng ở biên phải)
    // Khi này đoạn được xét sẽ -1 cây không hỏng được bao và còn lại y nguyên => +1 cây hỏng => có lợi
 
    // 3) Khi mà đang bao x cái cây hỏng mà chuyển qua 1 ô kề bên thì thành x - 1 cây hỏng (-1 cây hỏng ở biên trái)
    // Khi này: đoạn đang bao quanh thì sẽ + 1 cây không hỏng, tổng các đoạn trước đó trừ nhiều nhất 1 cây không hỏng (do có thêm sự xuất hiện của 1 cây hỏng chưa được bao) / hoặc trường hợp tệ hơn là sẽ + >= 0 cây không hỏng nữa
    // + 1 - 1 = 0 => trường hợp tốt nhất là không thay đổi
    // => Ta chỉ cần dp ở các điểm mà có cây hỏng.
 
    // 4) Thêm một điều lưu ý nữa là khi chọn điểm ở ngoài biên thì min cũng có thể thay đổi
    // Cụ thể là sẽ thay đổi ở các điểm mà a[i] + k - 1 > n (bao từ a[i] và kéo dài ra k ô)
    //Có thể hiểu đơn giản về việc tại sao lại không chọn a[m] + k - 1 mà lại chọn tập các điểm i là vì
    //Ta có thể dùng cái biên đó để bao nhiều điểm một cách tối ưu thay vì chỉ có bao được 1 điểm duy nhất (hoang phí)
    //Nếu mà chỉ bao 1 điểm và chừa ra 1 đống điểm ở giữa đó thì có khi việc bao bình thường sẽ tốn kém hơn rất nhiều, do vẫn đụng phải các cây không hỏng
    //Do đó ta có thể tiết kiệm hơn bằng việc dùng cái bao ở ngoài biên đó bao nhiều cây hỏng ở trong
    //Tương tự với cái ngoài biên bên trái (thực ra tui cũng có làm vậy mà tui không nhận ra do tui dùng max(0, ...))
 
    // code DP (sub 2) 
    // cin >> n >> k >> m;
    // for (int i = 1; i <= m; i++) {
    //     int x; cin >> x;
    //     a[x] = true;
    // }
    // for (int i = 1; i <= n + k; i++) sum[i] = sum[i - 1] + a[i];
    // memset(minn, 0x3f, sizeof(minn));   
    // minn[0] = 0;
    // for (int i = 1; i <= n + k; i++) {
    //     f[i] = minn[max(0, i - k)] + min(n, i) - max(1, min(n, i - k + 1)) + 1 - (sum[i] - sum[max(0, i - k)]);
    //     if (a[i]) minn[i] = f[i];
    //     else minn[i] = min(minn[i - 1], f[i]);
    // }
 
    // for (int i = 1; i <= n + k; i++) cerr << minn[i] << " ";
    // cout << n - m - minn[n + k];
 
    //sub 3
    cin >> n >> k >> m;
    int original_m = m;
    for (int i = 1; i <= m; i++) cin >> a[i];
    sort(a + 1, a + 1 + m);
    for (int i = 1; i <= original_m; i++) if (a[i] + k - 1 > n) {
        a[m + 1] = a[i] + k - 1;
        m++;
    }
    memset(minn, 0x3f, sizeof(minn));
    minn[0] = 0;
    for (int i = 1; i <= m; i++) {
        int x = max(0, int(upper_bound(a + 1, a + 1 + m, a[i] - k) - a - 1)); //ở vị trí a[i] - k đã bao được bao nhiêu cây không hỏng
        minn[i] = minn[x] + min(n, a[i]) - max(1, min(n, a[i] - k + 1)) + 1 - (min(original_m, i) - x);
        if (i > original_m) mini(minn[i], minn[i - 1]);
    }
 
    cout << n - original_m - minn[m];
    cerr << "Time elapsed: " << TIME << "s.\n";
    return 0;
}

I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgbGwgbG9uZyBsb25nCiNkZWZpbmUgZmlsZShuYW1lKSBpZiAoZm9wZW4obmFtZSIuaW5wIiwgInIiKSkge2ZyZW9wZW4obmFtZSIuaW5wIiwgInIiLCBzdGRpbik7IGZyZW9wZW4obmFtZSIub3V0IiwgInciLCBzdGRvdXQpO30KI2RlZmluZSBUSU1FIDEuMCAqIGNsb2NrKCkgLyBDTE9DS1NfUEVSX1NFQwp0ZW1wbGF0ZSA8dHlwZW5hbWUgVDEsIHR5cGVuYW1lIFQyPiBib29sIG1pbmkoVDEgJmEsIFQyIGIpIHtpZiAoYSA+IGIpIGEgPSBiOyBlbHNlIHJldHVybiAwOyByZXR1cm4gMTt9CnRlbXBsYXRlIDx0eXBlbmFtZSBUMSwgdHlwZW5hbWUgVDI+IGJvb2wgbWF4aShUMSAmYSwgVDIgYikge2lmIChhIDwgYikgYSA9IGI7IGVsc2UgcmV0dXJuIDA7IHJldHVybiAxO30KY29uc3QgaW50IGluZiA9IDJlOSArIDc7CmNvbnN0IGludCBtb2QgPSAxZTkgKyA3Owpjb25zdCBpbnQgTiA9IDRlNSArIDU7CgppbnQgbiwgbSwgaywgYVtOXSwgbWlubltOXTsKCnNpZ25lZCBtYWluKCkgewogICAgaW9zX2Jhc2U6OnN5bmNfd2l0aF9zdGRpbygwKTsgY2luLnRpZSgwKTsgY291dC50aWUoMCk7CiAgICBmaWxlKCIiKTsKCiAgICAvLyBD4bqjaSB0aeG6v24gZHAgYuG6sW5nIG5o4bqtbiB4w6l0CiAgICAvLyBOaOG6rW4geMOpdDogbWluIGNo4buJIGPDsyB0aOG7gyB0aGF5IMSR4buVaSBraGkgbcOgIHh14bqldCBoaeG7h24gdGjDqm0gY8OieSBo4buPbmcga2jDoWMKICAgIC8vIFRoZW8gdHLhu7FjIHF1YW4sIHRhIGPFqW5nIG7Dqm4gYuG6r3QgxJHhuqd1IGJhbyB04burIGPDoWkgY8OieSBo4buPbmcgxJHhu4MgbWF4aW1pc2UgxJHGsOG7o2MgY8OhaSBsxrDhu6NuZyBjw6J5IGjhu49uZyBxdcOpdCBxdWEgKG1pbmltaXNlIMSRxrDhu6NjIGPDoWkgbMaw4bujbmcgY8OieSBraMO0bmcgaOG7j25nIMSRxrDhu6NjIGJhbykKICAgIC8vIENo4bupbmcgbWluaDoKICAgIC8vIDEpIEtoaSBiYW8gcXVhbmggeCBjw6FpIGPDonkgaOG7j25nIG3DoCBjaHV54buDbiBxdWEgMSDDtCBr4buBIGLDqm4gdGjDrCB0aMOgbmggeCA9PiB24bqrbiBjaOG7iSBiYW8gcXVhbmggayAtIHggY8OieSBraMO0bmcgaOG7j25nCgogICAgLy8gMikgS2hpIGJhbyBxdWFuaCB4IGPDoWkgY8OieSBo4buPbmcgbcOgIGNodXnhu4NuIHF1YSAxIMO0IGvhu4EgYsOqbiB0aMOsIHRow6BuaCB4ICsgMSBjw6J5IGjhu49uZyAoKzEgY8OieSBo4buPbmcg4bufIGJpw6puIHBo4bqjaSkKICAgIC8vIEtoaSBuw6B5IMSRb+G6oW4gxJHGsOG7o2MgeMOpdCBz4bq9IC0xIGPDonkga2jDtG5nIGjhu49uZyDEkcaw4bujYyBiYW8gdsOgIGPDsm4gbOG6oWkgeSBuZ3V5w6puID0+ICsxIGPDonkgaOG7j25nID0+IGPDsyBs4bujaQoKICAgIC8vIDMpIEtoaSBtw6AgxJFhbmcgYmFvIHggY8OhaSBjw6J5IGjhu49uZyBtw6AgY2h1eeG7g24gcXVhIDEgw7Qga+G7gSBiw6puIHRow6wgdGjDoG5oIHggLSAxIGPDonkgaOG7j25nICgtMSBjw6J5IGjhu49uZyDhu58gYmnDqm4gdHLDoWkpCiAgICAvLyBLaGkgbsOgeTogxJFv4bqhbiDEkWFuZyBiYW8gcXVhbmggdGjDrCBz4bq9ICsgMSBjw6J5IGtow7RuZyBo4buPbmcsIHThu5VuZyBjw6FjIMSRb+G6oW4gdHLGsOG7m2MgxJHDsyB0cuG7qyBuaGnhu4F1IG5o4bqldCAxIGPDonkga2jDtG5nIGjhu49uZyAoZG8gY8OzIHRow6ptIHPhu7EgeHXhuqV0IGhp4buHbiBj4bunYSAxIGPDonkgaOG7j25nIGNoxrBhIMSRxrDhu6NjIGJhbykgLyBob+G6t2MgdHLGsOG7nW5nIGjhu6NwIHThu4cgaMahbiBsw6Agc+G6vSArID49IDAgY8OieSBraMO0bmcgaOG7j25nIG7hu69hCiAgICAvLyArIDEgLSAxID0gMCA9PiB0csaw4budbmcgaOG7o3AgdOG7kXQgbmjhuqV0IGzDoCBraMO0bmcgdGhheSDEkeG7lWkKICAgIC8vID0+IFRhIGNo4buJIGPhuqduIGRwIOG7nyBjw6FjIMSRaeG7g20gbcOgIGPDsyBjw6J5IGjhu49uZy4KCiAgICAvLyA0KSBUaMOqbSBt4buZdCDEkWnhu4F1IGzGsHUgw70gbuG7r2EgbMOgIGtoaSBjaOG7jW4gxJFp4buDbSDhu58gbmdvw6BpIGJpw6puIHRow6wgbWluIGPFqW5nIGPDsyB0aOG7gyB0aGF5IMSR4buVaQogICAgLy8gQ+G7pSB0aOG7gyBsw6Agc+G6vSB0aGF5IMSR4buVaSDhu58gY8OhYyDEkWnhu4NtIG3DoCBhW2ldICsgayAtIDEgPiBuIChiYW8gdOG7qyBhW2ldIHbDoCBrw6lvIGTDoGkgcmEgayDDtCkKICAgIC8vQ8OzIHRo4buDIGhp4buDdSDEkcahbiBnaeG6o24gduG7gSB2aeG7h2MgdOG6oWkgc2FvIGzhuqFpIGtow7RuZyBjaOG7jW4gYVttXSArIGsgLSAxIG3DoCBs4bqhaSBjaOG7jW4gdOG6rXAgY8OhYyDEkWnhu4NtIGkgbMOgIHbDrAogICAgLy9UYSBjw7MgdGjhu4MgZMO5bmcgY8OhaSBiacOqbiDEkcOzIMSR4buDIGJhbyBuaGnhu4F1IMSRaeG7g20gbeG7mXQgY8OhY2ggdOG7kWkgxrB1IHRoYXkgdsOsIGNo4buJIGPDsyBiYW8gxJHGsOG7o2MgMSDEkWnhu4NtIGR1eSBuaOG6pXQgKGhvYW5nIHBow60pCiAgICAvL07hur91IG3DoCBjaOG7iSBiYW8gMSDEkWnhu4NtIHbDoCBjaOG7q2EgcmEgMSDEkeG7kW5nIMSRaeG7g20g4bufIGdp4buvYSDEkcOzIHRow6wgY8OzIGtoaSB2aeG7h2MgYmFvIGLDrG5oIHRoxrDhu51uZyBz4bq9IHThu5FuIGvDqW0gaMahbiBy4bqldCBuaGnhu4F1LCBkbyB24bqrbiDEkeG7pW5nIHBo4bqjaSBjw6FjIGPDonkga2jDtG5nIGjhu49uZwogICAgLy9EbyDEkcOzIHRhIGPDsyB0aOG7gyB0aeG6v3Qga2nhu4dtIGjGoW4gYuG6sW5nIHZp4buHYyBkw7luZyBjw6FpIGJhbyDhu58gbmdvw6BpIGJpw6puIMSRw7MgYmFvIG5oaeG7gXUgY8OieSBo4buPbmcg4bufIHRyb25nCiAgICAvL1TGsMahbmcgdOG7sSB24bubaSBjw6FpIG5nb8OgaSBiacOqbiBiw6puIHRyw6FpICh0aOG7sWMgcmEgdHVpIGPFqW5nIGPDsyBsw6BtIHbhuq15IG3DoCB0dWkga2jDtG5nIG5o4bqtbiByYSBkbyB0dWkgZMO5bmcgbWF4KDAsIC4uLikpCgogICAgLy8gY29kZSBEUCAoc3ViIDIpIAogICAgLy8gY2luID4+IG4gPj4gayA+PiBtOwogICAgLy8gZm9yIChpbnQgaSA9IDE7IGkgPD0gbTsgaSsrKSB7CiAgICAvLyAgICAgaW50IHg7IGNpbiA+PiB4OwogICAgLy8gICAgIGFbeF0gPSB0cnVlOwogICAgLy8gfQogICAgLy8gZm9yIChpbnQgaSA9IDE7IGkgPD0gbiArIGs7IGkrKykgc3VtW2ldID0gc3VtW2kgLSAxXSArIGFbaV07CiAgICAvLyBtZW1zZXQobWlubiwgMHgzZiwgc2l6ZW9mKG1pbm4pKTsgICAKICAgIC8vIG1pbm5bMF0gPSAwOwogICAgLy8gZm9yIChpbnQgaSA9IDE7IGkgPD0gbiArIGs7IGkrKykgewogICAgLy8gICAgIGZbaV0gPSBtaW5uW21heCgwLCBpIC0gayldICsgbWluKG4sIGkpIC0gbWF4KDEsIG1pbihuLCBpIC0gayArIDEpKSArIDEgLSAoc3VtW2ldIC0gc3VtW21heCgwLCBpIC0gayldKTsKICAgIC8vICAgICBpZiAoYVtpXSkgbWlubltpXSA9IGZbaV07CiAgICAvLyAgICAgZWxzZSBtaW5uW2ldID0gbWluKG1pbm5baSAtIDFdLCBmW2ldKTsKICAgIC8vIH0KCiAgICAvLyBmb3IgKGludCBpID0gMTsgaSA8PSBuICsgazsgaSsrKSBjZXJyIDw8IG1pbm5baV0gPDwgIiAiOwogICAgLy8gY291dCA8PCBuIC0gbSAtIG1pbm5bbiArIGtdOwoKICAgIC8vc3ViIDMKICAgIGNpbiA+PiBuID4+IGsgPj4gbTsKICAgIGludCBvcmlnaW5hbF9tID0gbTsKICAgIGZvciAoaW50IGkgPSAxOyBpIDw9IG07IGkrKykgY2luID4+IGFbaV07CiAgICBzb3J0KGEgKyAxLCBhICsgMSArIG0pOwogICAgZm9yIChpbnQgaSA9IDE7IGkgPD0gb3JpZ2luYWxfbTsgaSsrKSBpZiAoYVtpXSArIGsgLSAxID4gbikgewogICAgICAgIGFbbSArIDFdID0gYVtpXSArIGsgLSAxOwogICAgICAgIG0rKzsKICAgIH0KICAgIG1lbXNldChtaW5uLCAweDNmLCBzaXplb2YobWlubikpOwogICAgbWlublswXSA9IDA7CiAgICBmb3IgKGludCBpID0gMTsgaSA8PSBtOyBpKyspIHsKICAgICAgICBpbnQgeCA9IG1heCgwLCBpbnQodXBwZXJfYm91bmQoYSArIDEsIGEgKyAxICsgbSwgYVtpXSAtIGspIC0gYSAtIDEpKTsgLy/hu58gduG7iyB0csOtIGFbaV0gLSBrIMSRw6MgYmFvIMSRxrDhu6NjIGJhbyBuaGnDqnUgY8OieSBraMO0bmcgaOG7j25nCiAgICAgICAgbWlubltpXSA9IG1pbm5beF0gKyBtaW4obiwgYVtpXSkgLSBtYXgoMSwgbWluKG4sIGFbaV0gLSBrICsgMSkpICsgMSAtIChtaW4ob3JpZ2luYWxfbSwgaSkgLSB4KTsKICAgICAgICBpZiAoaSA+IG9yaWdpbmFsX20pIG1pbmkobWlubltpXSwgbWlubltpIC0gMV0pOwogICAgfQoKICAgIGNvdXQgPDwgbiAtIG9yaWdpbmFsX20gLSBtaW5uW21dOwogICAgY2VyciA8PCAiVGltZSBlbGFwc2VkOiAiIDw8IFRJTUUgPDwgInMuXG4iOwogICAgcmV0dXJuIDA7Cn0=