no DLP for x-closure

[] x-closure