Avigad is following

Avigad is not following anyone.