Dan Piponi on Nostr: Boolean algebra shouldn't be a surprising finite model. Power is just implication.Boolean algebra shouldn't be a surprising finite model. Power is just implication.