{"action":"opened","issue":{"url":"https://api.github.com/repos/mirelon/membrane_computing/issues/177","repository_url":"https://api.github.com/repos/mirelon/membrane_computing","labels_url":"https://api.github.com/repos/mirelon/membrane_computing/issues/177/labels{/name}","comments_url":"https://api.github.com/repos/mirelon/membrane_computing/issues/177/comments","events_url":"https://api.github.com/repos/mirelon/membrane_computing/issues/177/events","html_url":"https://github.com/mirelon/membrane_computing/issues/177","id":147117032,"number":177,"title":"Clarify quantificator in the main proof about inhibitors","user":{"login":"mirelon","id":1101497,"avatar_url":"https://avatars.githubusercontent.com/u/1101497?v=3","gravatar_id":"","url":"https://api.github.com/users/mirelon","html_url":"https://github.com/mirelon","followers_url":"https://api.github.com/users/mirelon/followers","following_url":"https://api.github.com/users/mirelon/following{/other_user}","gists_url":"https://api.github.com/users/mirelon/gists{/gist_id}","starred_url":"https://api.github.com/users/mirelon/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mirelon/subscriptions","organizations_url":"https://api.github.com/users/mirelon/orgs","repos_url":"https://api.github.com/users/mirelon/repos","events_url":"https://api.github.com/users/mirelon/events{/privacy}","received_events_url":"https://api.github.com/users/mirelon/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2016-04-09T10:24:04Z","updated_at":"2016-04-09T10:24:04Z","closed_at":null,"body":"P. 54, line -16, I do not see why “there will be such a rule for each 0 ≤ mi ≤ M(ai)” when only one occurrence of  ̇ai is possible. (Sosik)\r\n\r\nThe quantificator should be applied only to mi, not to ai"}}