premise: quarks have not been observed directly but theoretical predictions based on their existence have been confirmed experimentally
hypothesis: a specific type of quarks is checking program, defined as 'a program that examines other computer programs for syntax errors' .