We revisit Simon's separation, this time via an incompressibility argument. This is part A. Part B will take place next week. Below, I include Pihla's notes as well as a proof tree of Pihla's proof. Here are the links to the lecture videos: Part 1, Part 2