Logan Kreisher Formal Introduction