Talk:Proposition/@comment-26172255-20150503181630/@comment-25461088-20150504234608

Yes, you are.