diff --git a/catalogue_tests.pdf b/catalogue_tests.pdf
new file mode 100644
index 0000000..da9da42
Binary files /dev/null and b/catalogue_tests.pdf differ
diff --git a/doc_procedure_verification.pdf b/doc_procedure_verification.pdf
new file mode 100644
index 0000000..a72738e
Binary files /dev/null and b/doc_procedure_verification.pdf differ