Summary I


We Found Theorems

Languages can influence human thoughts.

Above "languages" include programming languages.