Ockham_algebra