ยง Penrose cohomology [TODO ]