Talk:Proposition/@comment-27295763-20151130201705/@comment-25461088-20151208050443

I agree.