Ockham_algebra loading ...