³See appendix C for details.