Talk:Proposition/@comment-25461088-20141214024331/@comment-25302371-20141214025325

well, looks like it is