Rename 8_implications.md to 4_implications.md