Talk:Proposition/@comment-26455004-20151214093935/@comment-25717421-20160228044224

Or run super fast with it. I'd choose the latter. ;)