https://9lib.org/document/q05224vg-richard-gale-i-problem-negacji.html