My paper on mathematical explanation in computer science has been accepted for publication in Philosophy of Science.