Comment Comment by atsmyles Related to PA consistency, it can be proven in PA. https://youtu.be/6pjLmmkZnIA parent atsmyles 1 year ago