Sort:  

Yes, We need to learn SMT. Thank you!