Followers of x.lean.x