bool p: [0,0] false; (0,3) true;

bool HistoricallyP: [0,3) false;