add axiom experiments