https://123dok.org/document/ozl35v6z-future-contingents-and-the-assertion-problem.html