_positive_ Boolean formula (for acceptance cond.)