← Appendix I FACTT Algorithm: Composite Protocol …