changed end(AdversaryState s) method