bool p: [0,6) true;

bool HistoricallyP: [0,6) true;