Lean D is moved secure object abiding

23 December 2021