Talk:Dotty/@comment-28713419-20160614181332/@comment-5844771-20160614191648

Okay.