An axiom adapter for Riak