diff --git a/models/Bridge.pdf b/models/Bridge.pdf
new file mode 100644
index 0000000..4411dc7
Binary files /dev/null and b/models/Bridge.pdf differ
diff --git a/models/CoffeeClub.pdf b/models/CoffeeClub.pdf
new file mode 100644
index 0000000..9f008e3
Binary files /dev/null and b/models/CoffeeClub.pdf differ
diff --git a/models/Elevator.pdf b/models/Elevator.pdf
new file mode 100644
index 0000000..ef53a4b
Binary files /dev/null and b/models/Elevator.pdf differ
diff --git a/models/ExtendsMultipleContexts.pdf b/models/ExtendsMultipleContexts.pdf
new file mode 100644
index 0000000..643df2d
Binary files /dev/null and b/models/ExtendsMultipleContexts.pdf differ
diff --git a/models/Library.pdf b/models/Library.pdf
new file mode 100644
index 0000000..3f76ab2
Binary files /dev/null and b/models/Library.pdf differ
diff --git a/models/Projections.pdf b/models/Projections.pdf
new file mode 100644
index 0000000..476a653
Binary files /dev/null and b/models/Projections.pdf differ
diff --git a/models/ProofFailures.pdf b/models/ProofFailures.pdf
new file mode 100644
index 0000000..c9b3354
Binary files /dev/null and b/models/ProofFailures.pdf differ
diff --git a/models/SetComprehensions.pdf b/models/SetComprehensions.pdf
new file mode 100644
index 0000000..c79374b
Binary files /dev/null and b/models/SetComprehensions.pdf differ
diff --git a/models/SimpleTheoryTest.pdf b/models/SimpleTheoryTest.pdf
new file mode 100644
index 0000000..924e55a
Binary files /dev/null and b/models/SimpleTheoryTest.pdf differ
diff --git a/models/SquareRoot.pdf b/models/SquareRoot.pdf
new file mode 100644
index 0000000..bc4dc0a
Binary files /dev/null and b/models/SquareRoot.pdf differ
diff --git a/models/TypingTests.pdf b/models/TypingTests.pdf
new file mode 100644
index 0000000..aca4803
Binary files /dev/null and b/models/TypingTests.pdf differ
diff --git a/models/Vectors.pdf b/models/Vectors.pdf
new file mode 100644
index 0000000..71b69fb
Binary files /dev/null and b/models/Vectors.pdf differ
diff --git a/models/WellCommented.pdf b/models/WellCommented.pdf
new file mode 100644
index 0000000..5193f2d
Binary files /dev/null and b/models/WellCommented.pdf differ