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