Questions by SMT

...