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

bool HistoricallyP: [0,6) false;