Formal Ferrets Games