Symbol: qed_cyclic_add