[bvssvni]

This update changes the PSI implementation (path semantical logic) to use a safe model of path semantical quality. The problem previously was how to handle reflexivity without symbolic distinction (this is beyond IPL - constructive logic). Now we have a safe subset of path semantics that works with IPL and also already proved some useful results for further research on Seshatism.

If you have questions, please open up an issue on the Prop project (https://github.com/advancedresearch/prop/issues). You can also join us on the Discord server (https://discord.gg/JkrhJJRBR2).