Ontify
Formal logical reconstructions of theoretical propositions attempting to draw a line between science and metaphysics.