In both of these situations ( X takes 9 or 6 as formula _ 1 move ) , X has a second property to win .
In both of these situations ( X takes 9 or 6 as second move ) , X has a formula _ 1 property to win .