Implementation for set eval