Talk:Proposition/@comment-108.86.133.208-20151004171521/@comment-25461088-20151004185047

Yes.