Stubborn:

BSFO SOQE: strategy for B(x1,p1): 

∀ xt:X,pt:P. (
(¬ Conf(xt,pt) ∨ ¬ (x1 = xt) ∨ ¬ (p1 = pt)) ∧ 
(¬ Conf(xt,pt) ∨ ∀ yt:X. ¬ (x1 = yt) ∨ ¬ (p1 = pt)))

Causal

BSFO SOQE: strategy for B(x1,p1): 
∀ xt:X,p:P,pt:P. (
	(Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (x1 = xt) ∨ ¬ (p1 = pt)) ∧ 
	∀ yt:X. (
		(Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (x1 = yt) ∨ ¬ (p = p1)) ∧ 
		(Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (x1 = yt) ∨ ¬ (pt = p1)) ∧ 
		(¬ Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (x1 = xt) ∨ ¬ (pt = p1)) ∧ 
		(¬ Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (x1 = yt) ∨ ¬ (p = p1)) ∧ 
		(¬ Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (x1 = yt) ∨ ¬ (pt = p1))
	)
)

Simpl BSFO SOQE: strategy for B(x1,p1): 
∀ xt:X,p:P,pt:P. (
	(Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (x1 = xt) ∨ ¬ (p1 = pt)) ∧ 
		(Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (p = p1)) ∧ 
		(Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (pt = p1)) ∧ 
		(¬ Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (pt = p1)) ∧ 
		(¬ Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (p = p1)) ∧ 
		(¬ Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (pt = p1))
)