The Fine-Tuning Argument Rigorously Formulated - S1E5