Adi sorts with variables