def halts (P, I):
    if(C(P) == I) return true;
    else return false;