P=? [ F "observe0Greater1" ]
P=? [ F "observeIGreater1" ]
P=? [ F "observeOnlyTrueSender" ]