diff --git a/pdf/Algorithmic_complexity.pdf b/pdf/Algorithmic_complexity.pdf index 304f78b..ad25985 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 c2873a1..9dfd187 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 a76c7bf..5002bb3 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 37f1111..f97de88 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 35ba185..7c402c7 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 ca37402..07cc537 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 6136ce6..0ac049d 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 ec0fead..7a5eff5 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 67b17b3..1b1373b 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 5c1bddf..de5ee35 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 800d3e4..eb87047 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 7b4a71f..64bfc7f 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 991a655..a1fff4a 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 d7f52f3..26f8e83 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 9eb38da..0eddfb2 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 4c85d79..30d0592 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 4bdf4ee..af50dd6 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 31f6ebe..86840ef 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 7b7bb19..7fed89e 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 8c61415..bb9b575 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 e03a2f0..c92628a 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 6de5608..eab8803 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 f3ed7ef..9e7b76f 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 06ce833..67f9631 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 dee506c..66e36a6 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 eded7df..5d4413d 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 2c29f62..bb5f883 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 1430743..9636a74 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 80c4b5a..a880a79 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 e56b81b..5bee79d 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 2fa59fa..31e7a6d 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 e1e3f87..eca10a0 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 df204ba..4eec6a8 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 9fa15fa..6312483 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 6a1e0fd..0b574f8 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 6686ccb..e945edd 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 73582e6..db40da8 100644 Binary files a/pdf/Recursion.pdf and b/pdf/Recursion.pdf differ diff --git a/pdf/Reiteration.pdf b/pdf/Reiteration.pdf index ed73fd5..4632971 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 1e5018a..378d04f 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 9e958f8..d5fb0e4 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 f4eb538..f52b513 100644 Binary files a/pdf/Soundness.pdf and b/pdf/Soundness.pdf differ diff --git a/pdf/Stacks.pdf b/pdf/Stacks.pdf index 74bc2e2..0d8f2cf 100644 Binary files a/pdf/Stacks.pdf and b/pdf/Stacks.pdf differ diff --git a/pdf/Syllogism.pdf b/pdf/Syllogism.pdf index 1bd9124..972fbd4 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 5689a01..ed3f8c8 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 49ba302..e6d8583 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 695c7d9..420e823 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 10acfcb..260cfd8 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 57896be..c918db5 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 499014b..5fc3276 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 cc50177..c6894a0 100644 Binary files a/pdf/Why_computers_use_binary.pdf and b/pdf/Why_computers_use_binary.pdf differ