Recall a point made at the beginning of our discussion of methodological naturalism. Philosophical problems are typically occasioned by some kind of theoretical tangle. Different but equally plausible lines of though lead us to conflicting conclusions. Unraveling this tangle requires that we lay out different theoretical commitments and see what might be rejected or modified. A useful heuristic for this purpose may well be to use intuitions about imaginary cases to uncover the implicit synthetic assumptions that are shaping our thinking. This can help us better to appreciate our overall theoretical alternatives, and assess which gives the best overall fit with the a posteriori evidence.