diff --git a/pdf/Algorithmic_complexity.pdf b/pdf/Algorithmic_complexity.pdf
index 881bb67..95f03fe 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 73f7f3a..0dd6699 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 c016779..b8326f1 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 53f41cc..1cfb853 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 9444462..f855215 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 a9ed774..27afa5e 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 9f10f0c..1e3d228 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 1701e7d..e025ead 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 8eb39e8..dd04f39 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 57aa995..e7a83f0 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 081493c..431004c 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 ea8fa6d..d0090df 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 5b73621..672d808 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 38abc06..bd690b2 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 55c2713..571ae98 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 4eddbf8..6c4aa85 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 e419411..fdd8c3f 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 2b6bdb2..815d3d7 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 0b069b1..dab7f16 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 f4a53a9..5302fcb 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 71ea830..caa4252 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 250dd63..9135164 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 606a2bc..c11c48e 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 3011b3a..fff41de 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 7ad00ba..8605faa 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 d435f1f..8e8ec16 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 b0c762b..1924c38 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 28c8a77..9f3f876 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 4d19684..95cf634 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 d94f4dc..167ea4d 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 e4f0d32..51a00be 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 8be3f76..e308412 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 d8555e7..c648050 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 71cf5d5..d8eaaca 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 6ecc4ed..9c4a84b 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 56fcfe7..7dc6e27 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 2514198..b97edbe 100644
Binary files a/pdf/Recursion.pdf and b/pdf/Recursion.pdf differ
diff --git a/pdf/Reiteration.pdf b/pdf/Reiteration.pdf
index a5122e9..607ba45 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 8fe841d..3d414d4 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 3cce047..25e11b2 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 99d0b06..2d741c0 100644
Binary files a/pdf/Soundness.pdf and b/pdf/Soundness.pdf differ
diff --git a/pdf/Stacks.pdf b/pdf/Stacks.pdf
index df45458..b7f10b1 100644
Binary files a/pdf/Stacks.pdf and b/pdf/Stacks.pdf differ
diff --git a/pdf/Syllogism.pdf b/pdf/Syllogism.pdf
index 8f0d825..2328a5a 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 8c9ea0c..8548811 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 2f041a0..bf1a8de 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 8f75c65..b913f2d 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 5d5ac7b..8cf90d0 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 15dfd9f..e5e9418 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 148d494..8570e89 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 b17d978..d84664e 100644
Binary files a/pdf/Why_computers_use_binary.pdf and b/pdf/Why_computers_use_binary.pdf differ