Welcome to the codespaces-manim wiki!
https://github.com/markNZed/codespaces-manim/raw/main/notebooks/media/videos/notebooks/480p30/ImpredicativityAnimation.mp4