Formal Chicken and Koosen and Fets