Update logic.md