Adi Sorts with Variables