Simple Type Theory (STT) gives rise to Russell's Appendix B paradox when supplemented with the princ...