A formal world is a world in which everything that happens can always be described in a clear and precise way. That’s what makes a formal world into a formal world – the fact that it can be definitively or...