Add NOTES.md with thoughts on how to implement negations