 So when you join the military, you have children. Those children need to go to a public school. And the Pentagon, most people don't realize, on military bases around the world and domestically, they run K-12 public schools. It's a separate branch of the Department of Defense. It's called the Department of Defense Education Activity Agency. Just think about it as the DOD's public schools, K-12. It serves 66,000 students across the world and domestically.