În cele din urmă, nu a fost niciodată vorba despre teza protocolului gras. Întotdeauna a fost vorba despre teza Protocolului SAT.