Talk:Proposition/@comment-26360837-20150504143407/@comment-26360837-20150506064159

these arguments are only usefull in 7*** or higher