Talk:Proposition/@comment-11502756-20150305122735/@comment-25461088-20150305150838

Exactly.