forum-logic/notes/exchange.md