Formal methods and concept art

Coming soon.