diff --git a/pdf/Algorithmic_complexity.pdf b/pdf/Algorithmic_complexity.pdf
index 49c716c..778777e 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 6c82e0c..2513226 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 683a6dd..c32f92d 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 5279544..9da3770 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 a76be9d..22222a9 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 16957c8..5e7e6cd 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 fe380fa..4722797 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 c46496c..2236f5a 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 a19fb92..1fe73cb 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 c99fb03..179f3e3 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 3070c48..2b330e2 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 d80ec96..b293cbc 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 ff96ef2..3a5ab2d 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 ef545cb..138f572 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 8ad4244..85184c9 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 8e436a2..2cdc112 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 7fc77e1..f3910c4 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 2b01336..7c0f00d 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 aee49f8..390e399 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 dff5639..35e6b28 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 a3d99a3..e0b5136 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 4bd4b3c..d38f54c 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 2ee6cc3..ad8c284 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 cc788c1..85c7197 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 fc123de..29af89f 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 81f93b1..414620e 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 73661a7..88e818f 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 a111245..1bc86f0 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 b520174..9c019a3 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 452efcb..9ea68e5 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 4289726..ae47722 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 dc9e446..0c63ece 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 7208e98..15fc9c2 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 bff6db7..680501d 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 a809d0f..29fea90 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 19517d9..89c1d42 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 82a6f06..5c123be 100644
Binary files a/pdf/Recursion.pdf and b/pdf/Recursion.pdf differ
diff --git a/pdf/Reiteration.pdf b/pdf/Reiteration.pdf
index c65df6f..ebed3f3 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 f4a6607..6a67708 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 2690daf..0efda33 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 609cbc0..be541b2 100644
Binary files a/pdf/Soundness.pdf and b/pdf/Soundness.pdf differ
diff --git a/pdf/Stacks.pdf b/pdf/Stacks.pdf
index 02915c6..cedd9f4 100644
Binary files a/pdf/Stacks.pdf and b/pdf/Stacks.pdf differ
diff --git a/pdf/Syllogism.pdf b/pdf/Syllogism.pdf
index a303dfd..c9a6a1b 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 a887c43..f6ab76e 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 423742b..bde07fb 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 074152e..589f13b 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 70d68e3..aecba10 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 1d7bcbf..9ee640a 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 1746e7a..359869b 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 5a79c0d..afbdc96 100644
Binary files a/pdf/Why_computers_use_binary.pdf and b/pdf/Why_computers_use_binary.pdf differ