diff --git a/DOsualdo2020Decidable.pdf b/DOsualdo2020Decidable.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..bd9ddda64dbd6fb1457806342ea131acdbd4e401
Binary files /dev/null and b/DOsualdo2020Decidable.pdf differ