remove open-axiom, already in science overlay