That's a misc slideshow from a class, not a formal definition.