Sort:  

Nice work @walnut! You've got the Record for fastest SMT proposal ;)