How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions - Dan E. Willard (2020)