{"action":"created","issue":{"url":"https://api.github.com/repos/HoTT/book/issues/807","labels_url":"https://api.github.com/repos/HoTT/book/issues/807/labels{/name}","comments_url":"https://api.github.com/repos/HoTT/book/issues/807/comments","events_url":"https://api.github.com/repos/HoTT/book/issues/807/events","html_url":"https://github.com/HoTT/book/pull/807","id":88407898,"number":807,"title":"replace \"tuples\" by \"pairs\"","user":{"login":"danielgerigk","id":9052027,"avatar_url":"https://avatars.githubusercontent.com/u/9052027?v=3","gravatar_id":"","url":"https://api.github.com/users/danielgerigk","html_url":"https://github.com/danielgerigk","followers_url":"https://api.github.com/users/danielgerigk/followers","following_url":"https://api.github.com/users/danielgerigk/following{/other_user}","gists_url":"https://api.github.com/users/danielgerigk/gists{/gist_id}","starred_url":"https://api.github.com/users/danielgerigk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/danielgerigk/subscriptions","organizations_url":"https://api.github.com/users/danielgerigk/orgs","repos_url":"https://api.github.com/users/danielgerigk/repos","events_url":"https://api.github.com/users/danielgerigk/events{/privacy}","received_events_url":"https://api.github.com/users/danielgerigk/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":4,"created_at":"2015-06-15T12:19:22Z","updated_at":"2015-06-15T22:08:23Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/HoTT/book/pulls/807","html_url":"https://github.com/HoTT/book/pull/807","diff_url":"https://github.com/HoTT/book/pull/807.diff","patch_url":"https://github.com/HoTT/book/pull/807.patch"},"body":""},"comment":{"url":"https://api.github.com/repos/HoTT/book/issues/comments/112223839","html_url":"https://github.com/HoTT/book/pull/807#issuecomment-112223839","issue_url":"https://api.github.com/repos/HoTT/book/issues/807","id":112223839,"user":{"login":"danielgerigk","id":9052027,"avatar_url":"https://avatars.githubusercontent.com/u/9052027?v=3","gravatar_id":"","url":"https://api.github.com/users/danielgerigk","html_url":"https://github.com/danielgerigk","followers_url":"https://api.github.com/users/danielgerigk/followers","following_url":"https://api.github.com/users/danielgerigk/following{/other_user}","gists_url":"https://api.github.com/users/danielgerigk/gists{/gist_id}","starred_url":"https://api.github.com/users/danielgerigk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/danielgerigk/subscriptions","organizations_url":"https://api.github.com/users/danielgerigk/orgs","repos_url":"https://api.github.com/users/danielgerigk/repos","events_url":"https://api.github.com/users/danielgerigk/events{/privacy}","received_events_url":"https://api.github.com/users/danielgerigk/received_events","type":"User","site_admin":false},"created_at":"2015-06-15T22:08:23Z","updated_at":"2015-06-15T22:08:23Z","body":"Yes, that's true somehow.\r\nIn the second occurrence, people can deduce from context that what is meant by \"pairs\" are the terms of the form $(a,b)$ (the \"canonical elements\"), but indeed, in the first occurrence someone could object that in his understanding every term of type $A \\times B$ is a pair."}}