Mientras que el libro de Pierce se sumerge en los aspectos técnicos de los algoritmos y la semántica, Stallman aborda la propiedad y la libertad del conocimiento encapsulado en el software, que es donde residen muchos de los algoritmos. La conexión es 'nonobvious' porque no trata directamente de la semántica computacional, sino de su contexto político y ético subyacente, un aspecto raramente considerado en las recomendaciones puramente técnicas.























