ยง Penrose cohomology [TODO]