Overview: Program Definition