Talk:Proposition/@comment-23.16.56.127-20151227042318/@comment-23.16.56.127-20151227063032

I mean for Proposition