Premise: There still are some bugs in the system.

Hypothesis: The system is completely bug free.
Relation: contradiction