Something is wrong with the math typesetting at the moment. Starting right after: "First we rewrite the right-hand side using our observation about the meet of partitions:"