Talk:Proposition/@comment-70.116.40.30-20150306024430/@comment-25764976-20150306032334

So basically what I put