no DLP for cycle-explanation

[] cycle-explanation