diff --git a/pdf/Algorithmic_complexity.pdf b/pdf/Algorithmic_complexity.pdf
index 3ad6249..05c3dd7 100644
Binary files a/pdf/Algorithmic_complexity.pdf and b/pdf/Algorithmic_complexity.pdf differ
diff --git a/pdf/Arrays.pdf b/pdf/Arrays.pdf
index 8dd7e23..c5b251c 100644
Binary files a/pdf/Arrays.pdf and b/pdf/Arrays.pdf differ
diff --git a/pdf/Assembly_programs.pdf b/pdf/Assembly_programs.pdf
index eb76f46..2d9692d 100644
Binary files a/pdf/Assembly_programs.pdf and b/pdf/Assembly_programs.pdf differ
diff --git a/pdf/Atomic_and_molecular_sentences.pdf b/pdf/Atomic_and_molecular_sentences.pdf
index d515cb0..8958693 100644
Binary files a/pdf/Atomic_and_molecular_sentences.pdf and b/pdf/Atomic_and_molecular_sentences.pdf differ
diff --git a/pdf/Axioms_of_set_theory.pdf b/pdf/Axioms_of_set_theory.pdf
index 92f7790..bf65e9a 100644
Binary files a/pdf/Axioms_of_set_theory.pdf and b/pdf/Axioms_of_set_theory.pdf differ
diff --git a/pdf/Basic_database_concepts.pdf b/pdf/Basic_database_concepts.pdf
index cb90ba8..76e31df 100644
Binary files a/pdf/Basic_database_concepts.pdf and b/pdf/Basic_database_concepts.pdf differ
diff --git a/pdf/Basic_properties_of_sets.pdf b/pdf/Basic_properties_of_sets.pdf
index eb890dc..a70971a 100644
Binary files a/pdf/Basic_properties_of_sets.pdf and b/pdf/Basic_properties_of_sets.pdf differ
diff --git a/pdf/Biconditional_Elimination.pdf b/pdf/Biconditional_Elimination.pdf
index dad89e0..7b0468a 100644
Binary files a/pdf/Biconditional_Elimination.pdf and b/pdf/Biconditional_Elimination.pdf differ
diff --git a/pdf/Biconditional_Introduction.pdf b/pdf/Biconditional_Introduction.pdf
index 2669332..59ce2d6 100644
Binary files a/pdf/Biconditional_Introduction.pdf and b/pdf/Biconditional_Introduction.pdf differ
diff --git a/pdf/Binary_arithmetic.pdf b/pdf/Binary_arithmetic.pdf
index e42aa3b..cfdcf8a 100644
Binary files a/pdf/Binary_arithmetic.pdf and b/pdf/Binary_arithmetic.pdf differ
diff --git a/pdf/Binary_arithmetic_with_circuits.pdf b/pdf/Binary_arithmetic_with_circuits.pdf
index f674dcb..41f7c99 100644
Binary files a/pdf/Binary_arithmetic_with_circuits.pdf and b/pdf/Binary_arithmetic_with_circuits.pdf differ
diff --git a/pdf/Bits,_bytes,_nibbles.pdf b/pdf/Bits,_bytes,_nibbles.pdf
index 749d496..2c46404 100644
Binary files a/pdf/Bits,_bytes,_nibbles.pdf and b/pdf/Bits,_bytes,_nibbles.pdf differ
diff --git a/pdf/Compile_from_source.pdf b/pdf/Compile_from_source.pdf
index ea21d97..e7702e5 100644
Binary files a/pdf/Compile_from_source.pdf and b/pdf/Compile_from_source.pdf differ
diff --git a/pdf/Conditional_Elimination.pdf b/pdf/Conditional_Elimination.pdf
index af45afe..f531d6f 100644
Binary files a/pdf/Conditional_Elimination.pdf and b/pdf/Conditional_Elimination.pdf differ
diff --git a/pdf/Conditional_Introduction.pdf b/pdf/Conditional_Introduction.pdf
index a92d568..2352dde 100644
Binary files a/pdf/Conditional_Introduction.pdf and b/pdf/Conditional_Introduction.pdf differ
diff --git a/pdf/Conjunction_Elimination.pdf b/pdf/Conjunction_Elimination.pdf
index 9672671..448caec 100644
Binary files a/pdf/Conjunction_Elimination.pdf and b/pdf/Conjunction_Elimination.pdf differ
diff --git a/pdf/Conjunction_Introduction.pdf b/pdf/Conjunction_Introduction.pdf
index f6ad575..ef1ef9f 100644
Binary files a/pdf/Conjunction_Introduction.pdf and b/pdf/Conjunction_Introduction.pdf differ
diff --git a/pdf/Defining_a_computer.pdf b/pdf/Defining_a_computer.pdf
index 1200fee..7d2e173 100644
Binary files a/pdf/Defining_a_computer.pdf and b/pdf/Defining_a_computer.pdf differ
diff --git a/pdf/Design_features_of_language.pdf b/pdf/Design_features_of_language.pdf
index 4d43f12..f654bb3 100644
Binary files a/pdf/Design_features_of_language.pdf and b/pdf/Design_features_of_language.pdf differ
diff --git a/pdf/Disjunction_Elimination.pdf b/pdf/Disjunction_Elimination.pdf
index a56346e..2a2eef4 100644
Binary files a/pdf/Disjunction_Elimination.pdf and b/pdf/Disjunction_Elimination.pdf differ
diff --git a/pdf/Disjunction_Introduction.pdf b/pdf/Disjunction_Introduction.pdf
index 13a5e05..3029efd 100644
Binary files a/pdf/Disjunction_Introduction.pdf and b/pdf/Disjunction_Introduction.pdf differ
diff --git a/pdf/HTTP_request_types.pdf b/pdf/HTTP_request_types.pdf
index 6157953..054effa 100644
Binary files a/pdf/HTTP_request_types.pdf and b/pdf/HTTP_request_types.pdf differ
diff --git a/pdf/Indeterminacy.pdf b/pdf/Indeterminacy.pdf
index e572a39..2e5a2f3 100644
Binary files a/pdf/Indeterminacy.pdf and b/pdf/Indeterminacy.pdf differ
diff --git a/pdf/Law_of_the_Excluded_Middle.pdf b/pdf/Law_of_the_Excluded_Middle.pdf
index 44c5b6d..1ed4705 100644
Binary files a/pdf/Law_of_the_Excluded_Middle.pdf and b/pdf/Law_of_the_Excluded_Middle.pdf differ
diff --git a/pdf/Logic_circuits.pdf b/pdf/Logic_circuits.pdf
index bc8abc8..3b57506 100644
Binary files a/pdf/Logic_circuits.pdf and b/pdf/Logic_circuits.pdf differ
diff --git a/pdf/Logic_gates.pdf b/pdf/Logic_gates.pdf
index d72632e..1d4a1ac 100644
Binary files a/pdf/Logic_gates.pdf and b/pdf/Logic_gates.pdf differ
diff --git a/pdf/Logical_possibility_and_necessity.pdf b/pdf/Logical_possibility_and_necessity.pdf
index 49d97e2..7571d16 100644
Binary files a/pdf/Logical_possibility_and_necessity.pdf and b/pdf/Logical_possibility_and_necessity.pdf differ
diff --git a/pdf/Lovelace_quote.pdf b/pdf/Lovelace_quote.pdf
index 20af4cb..f2b4974 100644
Binary files a/pdf/Lovelace_quote.pdf and b/pdf/Lovelace_quote.pdf differ
diff --git a/pdf/Morphology.pdf b/pdf/Morphology.pdf
index 8297823..2c63054 100644
Binary files a/pdf/Morphology.pdf and b/pdf/Morphology.pdf differ
diff --git a/pdf/Negation_Elimination.pdf b/pdf/Negation_Elimination.pdf
index eb76913..c44c373 100644
Binary files a/pdf/Negation_Elimination.pdf and b/pdf/Negation_Elimination.pdf differ
diff --git a/pdf/Negation_Introduction.pdf b/pdf/Negation_Introduction.pdf
index 90f7187..6b437a6 100644
Binary files a/pdf/Negation_Introduction.pdf and b/pdf/Negation_Introduction.pdf differ
diff --git a/pdf/Object_language_and_meta-language.pdf b/pdf/Object_language_and_meta-language.pdf
index 9e864b2..ba56c81 100644
Binary files a/pdf/Object_language_and_meta-language.pdf and b/pdf/Object_language_and_meta-language.pdf differ
diff --git a/pdf/Package_management_in_Arch.pdf b/pdf/Package_management_in_Arch.pdf
index bff4570..f1f890e 100644
Binary files a/pdf/Package_management_in_Arch.pdf and b/pdf/Package_management_in_Arch.pdf differ
diff --git a/pdf/Primary_key.pdf b/pdf/Primary_key.pdf
index 5d12f46..fa6d644 100644
Binary files a/pdf/Primary_key.pdf and b/pdf/Primary_key.pdf differ
diff --git a/pdf/Queue.pdf b/pdf/Queue.pdf
index 820cd58..d7b095f 100644
Binary files a/pdf/Queue.pdf and b/pdf/Queue.pdf differ
diff --git a/pdf/RESTful_APIs.pdf b/pdf/RESTful_APIs.pdf
index f88ba16..06d9b85 100644
Binary files a/pdf/RESTful_APIs.pdf and b/pdf/RESTful_APIs.pdf differ
diff --git a/pdf/Recursion.pdf b/pdf/Recursion.pdf
index 606a7f1..476ed05 100644
Binary files a/pdf/Recursion.pdf and b/pdf/Recursion.pdf differ
diff --git a/pdf/Reiteration.pdf b/pdf/Reiteration.pdf
index 3f42ee7..f655a72 100644
Binary files a/pdf/Reiteration.pdf and b/pdf/Reiteration.pdf differ
diff --git a/pdf/SQL_syntax.pdf b/pdf/SQL_syntax.pdf
index e5b38b8..bbd640d 100644
Binary files a/pdf/SQL_syntax.pdf and b/pdf/SQL_syntax.pdf differ
diff --git a/pdf/Semantic_versioning.pdf b/pdf/Semantic_versioning.pdf
index 18d8817..e511604 100644
Binary files a/pdf/Semantic_versioning.pdf and b/pdf/Semantic_versioning.pdf differ
diff --git a/pdf/Soundness.pdf b/pdf/Soundness.pdf
index 96c0bfc..981ad1e 100644
Binary files a/pdf/Soundness.pdf and b/pdf/Soundness.pdf differ
diff --git a/pdf/Stacks.pdf b/pdf/Stacks.pdf
index 5303b78..5759fc5 100644
Binary files a/pdf/Stacks.pdf and b/pdf/Stacks.pdf differ
diff --git a/pdf/Syllogism.pdf b/pdf/Syllogism.pdf
index c968dfb..f263bea 100644
Binary files a/pdf/Syllogism.pdf and b/pdf/Syllogism.pdf differ
diff --git a/pdf/The_Pragmatic_Programmer_1999.pdf b/pdf/The_Pragmatic_Programmer_1999.pdf
index ea22b30..631d49d 100644
Binary files a/pdf/The_Pragmatic_Programmer_1999.pdf and b/pdf/The_Pragmatic_Programmer_1999.pdf differ
diff --git a/pdf/The_binary_number_system.pdf b/pdf/The_binary_number_system.pdf
index 22f25bf..7d4b11a 100644
Binary files a/pdf/The_binary_number_system.pdf and b/pdf/The_binary_number_system.pdf differ
diff --git a/pdf/Theorems_and_empty_sets.pdf b/pdf/Theorems_and_empty_sets.pdf
index d59931f..d784f4b 100644
Binary files a/pdf/Theorems_and_empty_sets.pdf and b/pdf/Theorems_and_empty_sets.pdf differ
diff --git a/pdf/Turing_machines.pdf b/pdf/Turing_machines.pdf
index 61b2b38..be11dab 100644
Binary files a/pdf/Turing_machines.pdf and b/pdf/Turing_machines.pdf differ
diff --git a/pdf/User_management.pdf b/pdf/User_management.pdf
index 9d1abb7..6081c07 100644
Binary files a/pdf/User_management.pdf and b/pdf/User_management.pdf differ
diff --git a/pdf/Von_Neumann_architecture.pdf b/pdf/Von_Neumann_architecture.pdf
index 8ae273d..254b9a2 100644
Binary files a/pdf/Von_Neumann_architecture.pdf and b/pdf/Von_Neumann_architecture.pdf differ
diff --git a/pdf/Why_computers_use_binary.pdf b/pdf/Why_computers_use_binary.pdf
index 1b9df51..e609180 100644
Binary files a/pdf/Why_computers_use_binary.pdf and b/pdf/Why_computers_use_binary.pdf differ