We counted over a million lines of code that we allege are infringed in the Linux kernel today.