path conditions