 Residual curiosity is possible even when the proposition is known to be a necessary truth. A reductio ad absurdum proof that 1 − 1/3 + 1/5 − 1/7 + … converges to π/4 might persuade one that there is no alternative without illuminating how it could be true. For this brute style of proof does not explain how π wandered into the solution. (Reductio ad absurdum just shows a contradiction would follow if the conclusion were not true.) This raises the possibility that even a logical demonstration of the metaphysical necessity of ‘Something exists’ might still leave us asking why there is something rather than nothing (though there would no longer be the wonder about the accidentality of there being something). This leads Andrew Brenner (2016) to deny that ‘Why is there something rather than nothing?’ is restricted to contingent entities. Brenner argues the question is highly ambiguous. At best there is only a family resemblance between the questions under discussion. What appears to be disagreement is too often a verbal dispute.