The logical structure of love