Formal Ferret Games