Formal Thoughts:ai and me