Build your own clarithmetic II: Soundness