Pmin
=? [
F
"
finished
"&"
all_coins_equal_1
" ]