Theological determinism is a form of predeterminism which states that all events that happen are pre-ordained, and/or predestined to happen, by one or more divine beings, or that they are destined to occur given the divine beings' omniscience. Theological determinism exists in a number of religions, including Jainism, Judaism, Christianity, and Islam. It is also supported by proponents of Classical pantheism such as the Stoics and Baruch Spinoza. Categorization of theological determinism Two forms of theological determinism exist, here referenced as strong and weak theological determinism. The first one, strong theological determinism, is based on the concept of a creator deity dictating all events in history: "everything that happens has been predestined to happen by an omniscient, omnipotent divinity". The second form, weak theological determinism, is based on the concept of divine foreknowledge - "because God's omniscience is perfect, what God knows about the future will inevitably happen, which means, consequently, that the future is already fixed". This form is affirmed by Jainism and vigorously defended by the Kanji sect of Jainism which requires belief in it as necessary condition and first step for liberation. They often quote Einstein to support their thesis: "Events do not happen. They already exist and are seen on the Time Machine". This form also allows for a multiplicity of gods, as there is no contradiction in achieving omniscience by multiple entities. There exist slight variations on the above categorization. Some claim that theological determinism requires predestination of all events and outcomes by the divinity (i.e. they do not classify the weaker version as 'theological determinism' unless libertarian free will is assumed to be denied as a consequence), or that the weaker version does not constitute 'theological determinism' at all. Theological determinism can also be seen as a form of causal determinism, in which the antecedent conditions are the nature and will of God. With respect to free will and the classification of theological compatibilism/incompatibilism below, "theological determinism is the thesis that God exists and has infallible knowledge of all true propositions including propositions about our future actions", more minimal criteria designed to encapsulate all forms of theological determinism. Free will and theological determinism There are various implications for metaphysical libertarian free will as consequent of theological determinism and its philosophical interpretation. Strong theological determinism is not compatible with metaphysical libertarian free will, and is a form of hard theological determinism (equivalent to theological fatalism