Initial commit for axiomatic plugin.