Progress on FourFlippingCoins.vi