John Carlos Baez on Nostr: - I'm writing about this now, and I just noticed that D(a c) = D(a) + a D(c) implies ...- I'm writing about this now, and I just noticed thatD(a c) = D(a) + a D(c) implies D(1) = 0.