SMT does not need to be inside of this PDA, we are looking for a more external SMT with ES.
You can see examples of this in my daily journals.