2
weak formal schemes and dagger spaces
4
5
6