Sorted variable instances