Yeah and getting a single example of a correct program is way easier than describing the set of all correct programs.