Sort:  

Yes, + SMT's indeed :-)