section‹Firewall Basic Syntax› theory Firewall_Common imports Main Simple_Firewall.Firewall_Common_Decision_State "Common/Repeat_Stabilize" begin text‹ Our firewall model supports the following actions. ›