43See Appendix D for the analysis of the KS-JEDC model.