Since much or our lives today depend on systems and many of the biggest risks for individuals and for humanity as a whole emanate from systems, it is imperative that we have proper methods and tools to build useful and safe systems.