Rmin
=? [
F
"
goal
" ]