Initially one would think this goes into an infinite loop, but isProjectKnown actually changes that state