## Not Found File Appendix/Snippet code/sf-in-lean/Logical Foundations/snippets/2.2.3 Booleans/📚 2.md does not exist.