// single point
bool p: [0,0] true;

bool inputAlwaysP: [0,0] true;