Newton claims to have proven the heterogeneity of light through his experimentum crucis. However, Olaf Müller has worked out in detail Goethe’s idea that one could likewise prove the heterogeneity of darkness by inverting Newton’s famous experiment. Müller concludes that this invalidates Newton’s claim of proof. Yet this conclusion only holds if the heterogeneity of light and the heterogeneity of darkness is logically incompatible. This paper shows that this is not the case. Instead, in Quine’s terms, we have two logically (...) compatible theories based on mutually irreducible theoretical terms. From a Quinean point of view, this does no harm to the provability of the corresponding statements. (shrink)