See Pazuzu and Kikuri-Hime in SMT V