diff --git a/pdf/Algorithmic_complexity.pdf b/pdf/Algorithmic_complexity.pdf index 90b48be..5648cbd 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 7e13d5f..2970104 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 e18d141..21cd048 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 d7612ef..f1e30c7 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 eb3c3a2..ee0aaa5 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 8476ad3..6311a44 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 fd5f2c9..5aebc24 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 12ad2b1..abd7af3 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 5fae5e0..fb20082 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 0572516..504d3a5 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 37bb80e..86ec6d4 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 040830d..0bda614 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 1a13529..e5f9d09 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 cd1e825..971e184 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 b2c6977..5794b4e 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 8632815..0a86827 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 81d81f2..f4c98c9 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 0d42cdd..4521171 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 fdb5cdb..b772b4b 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 9b32970..58cb7e2 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 6c75f89..f63f6df 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 e41096b..6b24f2a 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 e40ef2b..c03aac2 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 7373e59..471ff7c 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 3df8774..275ba46 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 fc83c3e..501c409 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 8804cf3..7806d7e 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 2c5a84c..bc34dcd 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 7e6af0d..f538501 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 0be2b71..42fcc9f 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 349fed6..f7157c7 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 f575235..e0c89c8 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 5d8b631..fa71f2e 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 047f8ba..d8b627a 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 5803c5a..032c8f3 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 c3d97f8..2556142 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 cbfcfd3..5d898ca 100644 Binary files a/pdf/Recursion.pdf and b/pdf/Recursion.pdf differ diff --git a/pdf/Reiteration.pdf b/pdf/Reiteration.pdf index d547934..335ab9a 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 6bcaabd..ae87034 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 4da3c38..e3f266d 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 b32e5b3..5508a51 100644 Binary files a/pdf/Soundness.pdf and b/pdf/Soundness.pdf differ diff --git a/pdf/Stacks.pdf b/pdf/Stacks.pdf index e342da1..32e5eac 100644 Binary files a/pdf/Stacks.pdf and b/pdf/Stacks.pdf differ diff --git a/pdf/Syllogism.pdf b/pdf/Syllogism.pdf index b29cbda..ba080cf 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 d7e6ec4..df84952 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 327b246..4040676 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 1773201..933cf85 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 1f27330..e71cbf8 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 dad3a36..8540ada 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 96f0e11..612fb80 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 cba637d..7897e47 100644 Binary files a/pdf/Why_computers_use_binary.pdf and b/pdf/Why_computers_use_binary.pdf differ