Talk:Proposition/@comment-73.162.62.118-20151022013857/@comment-25764976-20151022014445

Yep.