Talk:Proposition/@comment-26677162-20151011162124/@comment-25926644-20151014032922

explain pls