Programs are why computers are so flexible, because one computer can run many different programs, each one changing the way the computer behaves. This flexibility is why programs are considered universal. The term universal seems a little odd in this context. We think of computing as a pretty exact science, so the term 'universal' seems way too big and imprecise. How can anything be truly universal?