#include <bits/stdc++.h>
using namespace std;
template <typename T>
istream& operator>>(std::istream& in, vector<T>& a) {
  for (auto& it : a) in >> it;
  return in;
}
template <typename T1, typename T2>
istream& operator>>(std::istream& in, pair<T1, T2>& a) {
  in >> a.first >> a.second;
  return in;
}
template <typename T>
ostream& operator<<(std::ostream& out, vector<T>& a) {
  for (auto it : a) {
    out << " " << it;
  }
  out << endl;
  return out;
}
template <typename T1, typename T2>
ostream& operator<<(std::ostream& out, pair<T1, T2>& a) {
  out << a.first << ' ' << a.second;
  return out;
}
const int INF = 1e9;
int main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  int n, m, mi, ma;
  cin >> n >> m >> mi >> ma;
  int mix = INF, man = -INF;
  int t;
  for (int i = 0; i < m; i++) {
    cin >> t;
    mix = min(mix, t);
    man = max(man, t);
  }
  if (mix >= mi && man <= ma)
    if (mix == mi || man == ma || n - m >= 2) {
      cout << "Correct" << endl;
      return 0;
    }
  cout << "Incorrect" << endl;
}
