User blog comment:Wythagoras/Friendship function/@comment-1605058-20140717170937/@comment-1605058-20140717202418

To answer your question on the chat, yes, I'm pretty sure well-definedness follows. I'd have to think about full argument though.