Galois protects your most important information. These two awareness videos were created to educate industries that rely on critical systems about formal methods and formal verification. Rudimentary shapes and primary colors were used to distill complicated, mathematical ideas down to two simplified overviews. These details were successfully applied to reach a broad audience and keep viewers from getting lost in the details.