Clarke_s paper on existential abstractions