RE: Trying to understand the Blithe 12 proof