https://dev.to/jocerfranquiz/why-formal-systems-cant-read-their-own-output-2i3f<meta http-equiv='refresh' content='0;url=https://dev.to/jocerfranquiz/why-formal-systems-cant-read-their-own-output-2i3f'>