A.Lean is following

A.Lean is not following anyone.