computer science testability
computer science can actually be tested despite being easy to learn
- either systems are formalistic and hard to learn (lots of acquired knowledge) but easy to validate
- or systems are easy to learn but hard to validate
- cs straddles the intermediary