By the time they finish K-12, we don’t want the vendor to go away or abandon that product line. They are free to use proprietary software by the time that they graduated, but during the K-12, we strongly prefer free software and hardware. There’s also, for example, as I mentioned, in the non-municipal schools, sometimes, we teach data stewardship first, before anything about programming.