Source: https://web.stanford.edu/~danlass/Lassiter-Goodman-reasoning.pdf