List of Assertions To do: add sub-pages for each namespace to place the different types of assertions in, or find some other way to categorize them * There Exist(s) List There exists an omnipotent and benevolent God Evil exists There exists an omniscient God There exist free created people There exists an immutable and omniscient God There are temporal indexical facts It is necessary that God is omnipotent It is necessary that an omnipotent being can do anything It is necessary that God can do anything It is necessary that God can create a stone so heavy that God cannot lift it It is necessary that (if God can create a stone so heavy that God cannot lift it, then it is possible that there is something God cannot do) It is possible that there is something God cannot do It is not necessary that God can do anything It is necessarily false that it is necessary that God is omnipotent Propositional-attitude-based criterion for propositional identity