Authors: Colin James III
Comments: 1 Page. © Copyright 2019 by Colin James III All rights reserved. Respond to author by email only: info@cec-services dot com. See updated abstract at ersatz-systems.com. (We warn troll Mikko at Disqus to read the article four times before hormonal typing.)
Two equations defining the meet-tree are not tautologous, thereby contradicting the claim that “proof is straightforward (using similinearity)”. Therefore these results form a non tautologous fragment of the universal logic VŁ4.