(= (plan-confidence 1 $c) $c) (= (plan-confidence 2 $c) (* $c $c)) (= (plan-confidence 3 $c) (* $c (* $c $c))) (= (plan-confidence 5 $c) (* $c (* $c (* $c (* $c $c))))) (= (plan-confidence 7 $c) (* $c (* $c (* $c (* $c (* $c (* $c $c))))))) !(plan-confidence 3 0.9) !(plan-confidence 5 0.9) !(plan-confidence 5 0.7) !(plan-confidence 7 0.9)