§ Penrose cohomology [TODO ]