Lean_purple‘s Following are private.