Types of affine formal algebraic spaces
Start writing about diagonal formal algebraic spaces

A bit boring...