Formal apocalypse