LeanLance‘s Following are private.