#include <bits/stdc++.h>
using namespace std;
class ADataRecovery {
 public:
  void solve(std::istream& in, std::ostream& out) {
    long long n, m, mi, ma;
    in >> n >> m >> mi >> ma;
    long long arr[m];
    long long ami = INT_MAX, ama = INT_MIN;
    for (long long i = 0; i < m; i++) {
      in >> arr[i];
      ami = min(ami, arr[i]);
      ama = max(ama, arr[i]);
    }
    long long cnt = 0;
    bool ok = true;
    if (ami != mi) ++cnt;
    if (ama != ma) ++cnt;
    if (ami < mi) ok = false;
    if (ama > ma) ok = false;
    if (ok and n - m >= cnt)
      out << "Correct";
    else
      out << "Incorrect";
  }
};
int32_t main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  ADataRecovery solver;
  std::istream& in(std::cin);
  std::ostream& out(std::cout);
  solver.solve(in, out);
  return 0;
}
