Explain relationship with formal schemes a la EGA