We can achieve complete statement coverage but still miss bugs because: