@nealmcspadden: How does proof