Abstract
This short paper is a "quick and dirty" introduction for non-philosophers (with some background in propositional logic) to Jaegwon Kim's famous supervenience argument against non-reductive physicalism (also known as the exclusion problem). It motivates the problem of mental causation, introduces Kim's formulation of the issue centered around mind-body supervenience, presents the argument in deductive form, and makes explicit why Kim concludes that vindicating mental causation demands a reduction of mind.