https://www.eff.org/deeplinks/2018/11/stupid-patent-month-patent-using-mathematical-proofs