{"comment":{"url":"https://api.github.com/repos/meta-logic/abella-reasoning/comments/16700901","html_url":"https://github.com/meta-logic/abella-reasoning/commit/c0ccdb0d703149c9cb1e33634e54d0eafe2faa3a#commitcomment-16700901","id":16700901,"user":{"login":"gisellemnr","id":1792786,"avatar_url":"https://avatars.githubusercontent.com/u/1792786?v=3","gravatar_id":"","url":"https://api.github.com/users/gisellemnr","html_url":"https://github.com/gisellemnr","followers_url":"https://api.github.com/users/gisellemnr/followers","following_url":"https://api.github.com/users/gisellemnr/following{/other_user}","gists_url":"https://api.github.com/users/gisellemnr/gists{/gist_id}","starred_url":"https://api.github.com/users/gisellemnr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gisellemnr/subscriptions","organizations_url":"https://api.github.com/users/gisellemnr/orgs","repos_url":"https://api.github.com/users/gisellemnr/repos","events_url":"https://api.github.com/users/gisellemnr/events{/privacy}","received_events_url":"https://api.github.com/users/gisellemnr/received_events","type":"User","site_admin":false},"position":null,"line":null,"path":"","commit_id":"c0ccdb0d703149c9cb1e33634e54d0eafe2faa3a","created_at":"2016-03-15T08:17:04Z","updated_at":"2016-03-15T08:17:04Z","body":"With universally quantified variables you will need to prove a permutation lemma saying that if G |- D is provable than for any permutations G', D' of G and D, G' |- D' is also provable."}}