These differ from both realism and liberalism in their epistemological and ontological premises. Wiccan theology largely revolves around ontological dualism. As such, it is different from ontological theories based on dualism or pluralism. There exist different interpretations of these semantic and ontological aspects. Therefore, Samkhya maintained that the various cosmological, ontological and teleological arguments could not prove God. Constructivism is a theory critical of the ontological basis of rationalist theories of international relations. Practically all contemporary societies acknowledge this basic ontological and ethical distinction. Aristotle regarded quantity as a fundamental ontological and scientific category. Advaita traces the foundation of this ontological theory in more ancient Sanskrit texts. This is a fundamentally ontological argument. Such an understanding of ontological categories, however, is merely taxonomic, classificatory. His proof for the existence of God was a variation of the Ontological argument. His proof for God follows a similar structure as Descartes' ontological argument. As part of his ontological project, Heidegger undertakes a reinterpretation of previous Western philosophy. The traditional definition of an ontological argument was given by Immanuel Kant.