Talk:Proposition/@comment-180.191.134.46-20151101103807/@comment-25461088-20151101192627

Exactly. Use the search bar.