Topics Related to Formal Interpretations