Appendix to models with second order properties II trees with no undefined branches