Talk:Introduction of Conjunct into Existential Quantifier

I'm okay with deleting this, as the merge target is a stronger result, but we need to clear its dependency, which may need some work at the other end. --prime mover (talk) 22:20, 2 November 2014 (UTC)


 * Exactly my thought, or I would have deleted it directly. But I'm tired, so I'm not up for the necessary rewriting at the moment. &mdash; Lord_Farin (talk) 22:24, 2 November 2014 (UTC)