Math Here is a note in which I give a detailed exposition of the proof that is NTP. This is based on Theorem 2.1 of Shelah-Usvyatsov:844, which can be found here.