Raclavský, Jiří. 2021. “The Rule of Existential Generalisation and Explicit Substitution”. Logic and Logical Philosophy 31 (1):105-41. https://doi.org/10.12775/LLP.2021.011.