amsopt is following

amsopt is not following anyone.