RE results and arguments name