DCL formula