Jimmer Fredette now. Lean theorem prover example. Tinonee to Wingham.

Sunburst chart in powerbi.