Win holds iff not just if