bool p: [0,6] true;

bool inputAlwaysP: [0,6] true;