axiomlib add sh