Introduction to clarithmetic III