A formal love chatbot for long-distance relationships.