// minimum steps to reach goal
Rmin=?[F o=2 ]

// max probability reach goal (use with step bound property)
Pmax=?[F o=2 ]