Execure algorithm ()