https://5dok.net/document/dzx45woy-formalization-spinoza-s-ethics-consequences-interpretation.html