The U.S. Army has released its updated statement of work for a potential $957M contract vehicle for cyber training services in support of the Persistent Cyber Training Environment.

Venn used the diagrams to prove a form of logical statement known as a categorical syllogism. This can be used to model reasoning. Here’s an example: “All computers need power.