Working on context-free.md