Imported proper eval