7th commit.
All of these 4 PEs are newly solved!