// RESULT: p
P=? [ F s=1 ];

// RESULT: 1-p
P=? [ F s=2 ];