Donkey anaphora have traditionally led to a surrender of classical static semantics in favor of either dynamic or situation semantics. If we admit a choice function analysis of (in)definites and covert strengthening in grammar, however, such surrender may be staved off. This note presents an initial exploration of how the two mechanisms may conspire to yield donkey anaphora.