redid syntax