Talk:Proposition/@comment-27403522-20151217153651/@comment-24384892-20151221205737

Lucky you.