Es gebe bei Software (anders als bei Büchern) keine automatisierte Möglichkeit, zu überprüfen, ob alle benutzten Algorithmen (ob alle geschriebenen Sätze) in einer Liste von patentierten Algorithmen (patentierten Sätzen) enthalten seien.