Added axiom based CBD generator.