mizar double is following

mizar double is not following anyone.