Talk:Proposition/@comment-73.162.62.118-20151022013857/@comment-25926644-20151107195607

^ also why you don't need skel