Interface AxiomValue<V>