@vielmetti Thanks for sharing! Haven't seen it before. But I always wondered that there is so little discussion of "how to find proofs." It seemed you're expected to discover through trial and error and maybe by osmosis.