Talk:Proposition/@comment-26453167-20150711133420/@comment-26453167-20150711183803

I didn't think of that, thanks!