Appendix: Not proven