I forwarded this to @Phundamentals who has immersed himself in mathematical proofs quite a bit over the last couple years. I've heard him highlight the need for mathematical rigor on more than one occasion. Also, there is a community of very smart people who might find this idea interesting. I told @Phundamentals he should pitch his work to that community too. Personal takeaways from these concepts you've presented: Both FA and FO are skill dependent. Higher skill means more quality and quantity of FA is possible. Higher skill should also result in lower rates of FO. It also seems related to the dynamics of entering a "flow state". That seems to be reliant upon skill level, level of challenge presented, etc.