R=? [ F p1>9 | p2>9 ]