ADDS transition 6 (inf -> symp)