Update and rename PE07a.md to PE12.md