User blog comment:DontDrinkH20/H-Boogol-Boogol Bit by bit: PART 2: Higher Order Logic/@comment-31966679-20180906235607

Still haven't understood part 1 and yet I'm trying to comprehend this.