Talk:Proposition/@comment-25931028-20150307015357/@comment-25950111-20150313001858

^^^ dpm you mean?