I use a tier list instead of a “top 5 illustrated proofs” list. This is definitely C tier, which means it’s as good as combining a couple proofs in the A and B tiers by taking the root of the sum of squares.