Case study: proving old concepts and providing new insights