witness axioms ui fix