Simultaneous Quantiier Elimination