- mention type erasure causing false positives
- mention ack
- some typos & syntax stuff