Hey Mr. Buzzard I want to say I find your work and enthusiasm with Lean and formalization very cool.