Delete implications.md