diff --git a/pdf/Algorithmic_complexity.pdf b/pdf/Algorithmic_complexity.pdf
index f9ee083..57062ef 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 a374b24..7788590 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 d3f0701..863cb85 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 c44c6ec..b51992b 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 d2df83a..2485a71 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 36bee0c..d864f7a 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 30aa74d..06e119c 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 3cc9427..f609794 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 ac6a264..0ca3f80 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 6726d19..8a74033 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 bc7832f..08295f7 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 8b2a117..8d3fe22 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 02cf9ef..c7fdafe 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 f4b65fd..f17ee31 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 c9a2877..a1f6831 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 10af047..0a631dd 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 a63ca70..a0bae5d 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 9494b17..79455ad 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 c623a49..c57ed4d 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 c8c5ded..b513a96 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 2c689ea..104c3d7 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 6447332..996a689 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 44e81fb..10ed09c 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 169faf5..dbc603c 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 f426bec..4e55281 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 2f8b340..bf48359 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 24eec81..592edc0 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 1c74074..6571bd6 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 c9892e1..40bc2d5 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 59ad672..48b5f2b 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 e31cf37..dfec6d6 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 ddd4b4e..38b2e51 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 945d781..3e075c4 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 0283819..0807c2d 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 56c4ecf..882f522 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 97bdeda..7f408ea 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 938fbad..5ea66f3 100644
Binary files a/pdf/Recursion.pdf and b/pdf/Recursion.pdf differ
diff --git a/pdf/Reiteration.pdf b/pdf/Reiteration.pdf
index 7e89b7c..144ec89 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 533c163..e8940cb 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 9b9b5dc..a5602db 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 b6a2d9a..347df80 100644
Binary files a/pdf/Soundness.pdf and b/pdf/Soundness.pdf differ
diff --git a/pdf/Stacks.pdf b/pdf/Stacks.pdf
index 98fe5cd..9fb144a 100644
Binary files a/pdf/Stacks.pdf and b/pdf/Stacks.pdf differ
diff --git a/pdf/Syllogism.pdf b/pdf/Syllogism.pdf
index b6565b9..349dc8f 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 ca06b0f..a3f65a4 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 9fbc309..a749bd6 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 1ab7e96..f1e7135 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 b0226c8..1294417 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 eb38309..eb7a798 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 cb7f5ed..a9fb2a0 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 894b249..c9964e5 100644
Binary files a/pdf/Why_computers_use_binary.pdf and b/pdf/Why_computers_use_binary.pdf differ