Talk:Proposition/@comment-28262639-20160430204906/@comment-26360837-20160513070229

and if you get help from your team its even shorter...