Lean D is moved secure object abiding