The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
The documenta is not about showing art, but about making art visible.