Interpreting reflexive theories in finitely many axioms by V.Y. Shavrukov