Logic -- A Fresh Look at Separation Algebras and Share Accounting -- Weak updates and