User blog comment:Syst3ms/Formal pi notation is far weaker than expected/@comment-37246647-20190823213853

Murphy's Law: Anything that can go wrong, will go wrong.