Definition Property is defined & we known what to check from the language spec. [[Generic Bugs]] are issues with [[General Properties]] A program can be free of general defects, but still be bugged (e.g. output is logically incorrect)