add arc requirement