{"action":"created","issue":{"url":"https://api.github.com/repos/nomeata/incredible/issues/51","labels_url":"https://api.github.com/repos/nomeata/incredible/issues/51/labels{/name}","comments_url":"https://api.github.com/repos/nomeata/incredible/issues/51/comments","events_url":"https://api.github.com/repos/nomeata/incredible/issues/51/events","html_url":"https://github.com/nomeata/incredible/pull/51","id":108926070,"number":51,"title":"adding baby steps to Session 6","user":{"login":"rampion","id":23003,"avatar_url":"https://avatars.githubusercontent.com/u/23003?v=3","gravatar_id":"","url":"https://api.github.com/users/rampion","html_url":"https://github.com/rampion","followers_url":"https://api.github.com/users/rampion/followers","following_url":"https://api.github.com/users/rampion/following{/other_user}","gists_url":"https://api.github.com/users/rampion/gists{/gist_id}","starred_url":"https://api.github.com/users/rampion/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rampion/subscriptions","organizations_url":"https://api.github.com/users/rampion/orgs","repos_url":"https://api.github.com/users/rampion/repos","events_url":"https://api.github.com/users/rampion/events{/privacy}","received_events_url":"https://api.github.com/users/rampion/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-09-29T18:11:44Z","updated_at":"2015-10-01T07:45:56Z","closed_at":"2015-10-01T00:56:02Z","pull_request":{"url":"https://api.github.com/repos/nomeata/incredible/pulls/51","html_url":"https://github.com/nomeata/incredible/pull/51","diff_url":"https://github.com/nomeata/incredible/pull/51.diff","patch_url":"https://github.com/nomeata/incredible/pull/51.patch"},"body":"tried to propose this earlier, but didn't see it among the pull requests.\r\n\r\nBasically, just adding more tasks to Session 6 to help used to existentials."},"comment":{"url":"https://api.github.com/repos/nomeata/incredible/issues/comments/144645547","html_url":"https://github.com/nomeata/incredible/pull/51#issuecomment-144645547","issue_url":"https://api.github.com/repos/nomeata/incredible/issues/51","id":144645547,"user":{"login":"lohner","id":1277734,"avatar_url":"https://avatars.githubusercontent.com/u/1277734?v=3","gravatar_id":"","url":"https://api.github.com/users/lohner","html_url":"https://github.com/lohner","followers_url":"https://api.github.com/users/lohner/followers","following_url":"https://api.github.com/users/lohner/following{/other_user}","gists_url":"https://api.github.com/users/lohner/gists{/gist_id}","starred_url":"https://api.github.com/users/lohner/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lohner/subscriptions","organizations_url":"https://api.github.com/users/lohner/orgs","repos_url":"https://api.github.com/users/lohner/repos","events_url":"https://api.github.com/users/lohner/events{/privacy}","received_events_url":"https://api.github.com/users/lohner/received_events","type":"User","site_admin":false},"created_at":"2015-10-01T07:45:55Z","updated_at":"2015-10-01T07:45:55Z","body":"Her are some suggestions (order of no relevance):\r\n\r\n* A∧(∀x.P(x)) ==> ∀x.A∧P(x)\r\n* (∃x.P(x))→A ==> ∀x.P(x)→A\r\n* (∀x.P(x)) ∧ (∀x.Q(x)) ==> ∀x.P(x)∧Q(x)\r\n* (∃x.P(x)) ∨ (∃x.Q(x)) ==> ∃x.P(x)∨Q(x)\r\n* (∀x.P(x))→A ==> ∃x.P(x)→A  (this one seems to be nearly as complex as the drinker's paradox)\r\n* ∀x.∀y.P(x,y) ==> ∀y.∀x.P(x,y)\r\n* ∃x.∃y.P(x,y) ==> ∃y.∃x.P(x,y)\r\n* ∃x.∀y.P(x,y) ==> ∀y.∃x.P(x,y)"}}