Appendix C contains the technical details on the computation of counterfactuals.