MoL-2017-02: Sierra Márquez, Pablo (2017) A formalization of Spinoza's Ethics, Part 1: Consequences for interpretation. [Report]