2025-04-27.
- solved the classical propositional logic exercise, but not the optional completeness
- somehow I was not expecting a deep embedding when I opened the file.
- somehow I was not expecting
by_contrato be available.