Text this: Ockham algebras /