I posted a small correction in section 7 after discussion with @warioishere, the second vardiff logic was never live but the logic of it, coincidentally, still follows from the theory presented. Furthermore wario and I are discussing plans to continue developing this theory.