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

People can use it that way if they want.