bool p: [0,1) true; [1,3) false; [3,4) true; [4,6) false;

bool HistoricallyP: [0,1] true; (1,6) false;