godel-bach isn't following anyone.